20 Commits

Author	SHA1	Message	Date
Anna Kozlova	5a6fdedb9a	lambda: check parameters if they use free names (IDEA-91502)	2012-09-13 17:53:30 +04:00
Anna Kozlova	5a546b640c	lambda: missed return statement error; do not use containing method return type for lambda inference	2012-09-10 12:54:43 +04:00
Anna Kozlova	2a91b03499	testdata for IDEA-90998	2012-09-06 19:17:34 +04:00
Anna Kozlova	d474aa3f1c	lambda: take into account substitution interface with method -> functional interface; ... do not infer return type parameters when lambda parameter type was calculated, no substitution caching here (IDEA-90875)	2012-09-06 13:07:11 +04:00
Anna Kozlova	2996ce4b20	lambda: simple inference in case of conditional expressions (IDEA-90812)	2012-09-03 21:27:11 +04:00
Anna Kozlova	8797c54ace	lambda: get info for return types from type arguments	2012-09-03 12:42:35 +04:00
Anna Kozlova	b199a1b76c	lambda & raw types	2012-08-31 18:40:56 +04:00
Anna Kozlova	1d0922ead8	lambda: lambda on vararg place	2012-08-31 15:34:20 +04:00
Anna Kozlova	2c05b4d750	lambda: functional interface can contain multiple default methods	2012-08-31 15:34:16 +04:00
Anna Kozlova	a386c22bc3	lambda check for ambiguity: prefer functional interfaces without type param dependencies (commented)	2012-08-28 12:20:49 +04:00
Anna Kozlova	a85c808676	lambda: do not warn about unhandled exceptions from lambda on call site	2012-08-27 15:50:42 +04:00
Anna Kozlova	cf4b4e6831	eliminateWildcards -> GenericsUtil; lambda: eliminate wildcards before formal types declaration (IDEA-90578)	2012-08-24 21:24:08 +04:00
Anna Kozlova	d2b956c808	lambda: check formal types for equality	2012-08-20 21:47:21 +04:00
Anna Kozlova	a060e747ab	lambda: return type void-compatibility checks extracted	2012-08-20 15:26:45 +04:00
Anna Kozlova	1fa0a6ade4	lambda: void return type compatibility (initial); functional interfaces without method params error messages	2012-08-17 22:45:25 +04:00
Anna Kozlova	3ac6e57c77	lambda (IDEA-90043)	2012-08-17 17:49:41 +04:00
Anna Kozlova	5ba5425a54	lambda: infer from return type; cyclic inference stop	2012-08-13 11:29:40 +04:00
anna	7f8362d025	lambda: tests	2012-07-20 18:59:19 +02:00
anna	c3276bd56e	lambda: return type checks initial	2012-07-20 18:59:18 +02:00
anna	812b9a72ea	lambda: initial is assignable check; effectively final; acceptable context	2012-07-19 21:18:30 +02:00