4 Commits

Author	SHA1	Message	Date
Anna Kozlova	21f187bd44	separate capture conversion from substitution	2015-04-27 09:32:20 +02:00
Anna Kozlova	3f27bb4d63	new inference: proceed nested calls of the same method with dependencies between inference variables from different calls (IDEA-136716; IDEA-135286)	2015-02-25 17:32:10 +01:00
Anna Kozlova	f217ed47c4	new inference: reject contradicting equals bounds	2014-12-17 09:57:47 +01:00
Anna Kozlova	935cdbaf3b	new inference: initial tests	2013-09-20 12:11:57 +04:00