source contract inference: handle boxing during delegation (CR-IC-5787)

This commit is contained in:
peter
2014-07-25 17:28:14 +02:00
parent 8ee6c8d44c
commit 8e43e69c1e
2 changed files with 19 additions and 5 deletions
@@ -228,6 +228,18 @@ class ContractInferenceFromSourceTest extends LightCodeInsightFixtureTestCase {
assert c == []
}
public void "test boolean autoboxing in delegation"() {
def c = inferContracts("""
static Boolean test04(String s) {
return test03(s);
}
static boolean test03(String s) {
return s == null;
}
""")
assert c == []
}
public void "test boolean auto-unboxing"() {
def c = inferContracts("""
static boolean test02(String s) {