Fixes #5705 (#8866) - SemanticDiff

Commit

6 years ago

Fixes #5705 (#8866) Added notes as suggested in the issue description after error from incompatible arguments in subtype is raised.