inference:incorporation optimization: skip variable's bound incorporation if the phase didn't change these bounds

This commit is contained in:
Anna Kozlova
2016-01-19 12:56:50 +01:00
parent 43cca1a076
commit 15f3eac8a2
9 changed files with 100 additions and 44 deletions
@@ -32,7 +32,7 @@ class Test1 {
}
{
bar(l -> <error descr="Unhandled exception: Test1.MyEx">baz(l)</error>);
bar(l -> baz<error descr="'baz(T)' in 'Test1' cannot be applied to '(java.lang.Object)'">(l)</error>);
bar(<error descr="Unhandled exception: Test1.MyEx">this::baz</error>);
}
}
@@ -29,7 +29,7 @@ abstract class NoFormalParamTypeInferenceNeeded {
Integer zip = zip(a -> zip(<error descr="no instance(s) of type variable(s) exist so that Object conforms to Integer
inference variable R has incompatible bounds:
lower bounds: Object
upper bounds: Object, R, Integer">text -> text</error>));
upper bounds: Object, Integer">text -> text</error>));
}
}