7 Commits

Include renames

Author	SHA1	Message	Date
Anna Kozlova	925e9d1610	pertinent to applicability: reject nested lambdas if they target non proper type	2015-02-13 18:54:02 +01:00
Anna Kozlova	bd681beb26	new inference: 18.5.2 adjustments	2014-02-19 09:46:15 +01:00
Anna Kozlova	19ba9d8c8d	new inference: resolve	2014-02-19 09:46:05 +01:00
Anna Kozlova	b16df9509f	new inference: lift type parameters; stop inference after false appears in bounds	2014-02-12 12:55:47 +01:00
anna	481bc252f3	switch tests on new inference ... (cherry picked from commit d2cbf3f2833104c3a0381059b0d6ef8ac0b3c94c)	2013-11-25 16:47:38 +01:00
anna	f5257087e9	new inference: overload resolution for SAM return type for implicit lambda should be ignored	2013-09-25 16:12:44 +02:00
Anna Kozlova	5ba5425a54	lambda: infer from return type; cyclic inference stop	2012-08-13 11:29:40 +04:00