MPS-12735 - fixed the check for unused package-level classifiers
Merge remote-tracking branch 'origin/master' into 3.1/vaclavFixes
MPS-12540 - check for unused method type variable declarations, incl. a quick-fix
MPS-12540 - checking the body as well as the signature
MPS-12540, MPS-12540 - checking the number of type parameters
MPS-12540, MPS-12540 - added tests
MPS-19084 - removed the String -> string conversion intention
Experimenting with type parameters
MPS-19092, MPS-19101 - altered the behavior of Types in order to check for type compatibility between declared type parameters and actual type parameters in calls. TypeVariableReferences needed to be resolved into TypeVariableDeclarations.
Added this generated source file, which for some reason was not added into the change list.
Merge remote-tracking branch 'origin/master' into 3.1/vaclavFixes
Rebuilt
Extracted the type arg matching code into a shared inference method
Correctly marked expected warnings in tests
Rebuilt
Extracted the type checking rule for static methods into a utility method
LocalMethodCall type check polished
Comment added
Documented the new behavior method on Type
MPS-19106 - check for wildcard types as type parameters to method calls