2 Commits

Include renames

Author	SHA1	Message	Date
Anna Kozlova	7bdb789b45	new inference: ... reject inference if lower and equals bounds do not agree; -> inference variable should fill extends list types with it's upper bounds as they are correctly substituted with session's inference variables, otherwise incorporation up-up rule could get refs to initial type parameter instead of correct inference variable	2015-02-19 18:07:54 +01:00
Anna Kozlova	1ed0901d4b	new inference: reject equals bounds contradicting lower bounds	2014-12-17 09:57:48 +01:00