6 Commits

Author	SHA1	Message	Date
Anna Kozlova	61f120b30e	new overload resolution: first check that collected methods are potentially compatible with args; for generic methods without specified type arguments this already means that they are applicable; for non generic methods (or raw method calls) expressions should be compatible with parameter types (formal parameter types = actual types as substitutor is known) (IDEA-147798)	2015-11-20 18:22:02 +01:00
Anna Kozlova	30a12275a2	lambda: highlight containing method ambiguity on method name: this avoids lots of lines of lambda body to be highlighted and it would show errors even if lambda body contains errors actually caused by the ambiguity on the parent level (IDEA-141580)	2015-06-18 17:54:23 +03:00
Anna Kozlova	145f701bc1	new overload resolution: integrate isPotentiallyCompatible in isApplicable checks	2014-11-26 17:42:30 +01:00
Alexey Kudravtsev	ad661d92e4	correct level in highlighting: ... highlight element X only when visiting X or its ascendant	2014-02-10 20:03:58 +04:00
anna	f90fadbd52	lambda: infer lambda param types in method call, return statement context	2012-07-19 18:44:23 +02:00
anna	d35061a610	lambda conflict resolve: check lambdas on per-params basis	2012-07-19 16:13:19 +02:00