15 Commits

Include renames

Author	SHA1	Message	Date
Anna.Kozlovaandintellij-monorepo-bot	87deef960c	incompatible types: highlight parent call instead of lambda when the error isn't related to lambda (IDEA-218801) ... GitOrigin-RevId: 17a2f1f62f7703930aa25a8cfd6dfd4a918e1fe7	2019-10-10 07:01:11 +00:00
Anna Kozlovaandintellij-monorepo-bot	afa0706bfc	java highlighting: provide better incompatible types message on failed inference ... GitOrigin-RevId: 5f97ec808f753d9ca40c417704ec93a802512745	2019-07-08 12:04:21 +03:00
Anna.Kozlova	b015644d7a	get rid of redundant space in error message	2018-11-21 15:54:15 +01:00
Anna.Kozlova	1fc76eb779	calc types by applicability constraints if inference fails ... include all inference variables for resolve and ignore additional constraints checks if the inference is going to failure; this way if (expr()) would get type of the 'standalone' expression instead of expression with boolean as expected type	2017-12-07 15:51:06 +01:00
Anna Kozlova	ee0e90d92c	provide applicability substitutor when inference fails for parent expression	2017-05-08 22:58:02 +03:00
Anna Kozlova	77f4894aae	inference errors: make applicability error thread safe so multiple threads can perform overload resolution of parent method calls independently, save presentable error when substitutor cached only	2017-05-08 12:12:13 +03:00
Anna Kozlova	6c5fc69ae9	inference: don't check bounds for variables which may depend on another variable with inconsistency bounds	2016-03-03 13:31:40 +01:00
Anna Kozlova	a6625994fb	overload resolution: don't skip errors from another context (IDEA-151119)	2016-02-02 14:38:40 +03:00
Anna Kozlova	15f3eac8a2	inference:incorporation optimization: skip variable's bound incorporation if the phase didn't change these bounds	2016-01-19 12:56:50 +01:00
Anna Kozlova	138bd5a034	new inference: provide diagnostics on failed inference (strict subtyping constraints); don't resolve vars before incorporate - this way captures won't be opened too early	2015-11-24 10:30:21 +01:00
Anna Kozlova	d32e6ec080	new inference: start inference from top to bottom; ensure getTargetType doesn't perform any inference; cache intermediate results	2015-11-19 10:47:21 +01:00
Anna Kozlova	11e81ab9d5	new inference: provide lambda incompatibility message based on failed inference (IDEA-131882)	2015-02-19 18:07:59 +01:00
Anna Kozlova	b06817081b	new inference: reject to infer variables if it's upper bound doesn't agree with lower/equal bound (when present)	2015-02-19 18:07:55 +01:00
Anna Kozlova	ed392c7308	unknown classes in testdata fixed	2014-09-01 21:46:11 +04:00
Anna Kozlova	e5afaa7a58	new inference: process additional constraints one after another and use data from previous results (IDEA-124983)	2014-09-01 21:46:11 +04:00