nullity inference: a more self-explanatory "test delegation to nullable means nothing"

This commit is contained in:
peter
2014-12-08 20:46:39 +01:00
parent 7c0eb3e5ad
commit 803a5d18cb
@@ -68,7 +68,7 @@ String bar() { return "z"; }
}
void "test delegation to nullable means nothing"() {
assert inferNullity(parse('String foo() { return bar(); }; String bar() { if (equals(2)) return null; return "a"; }; ')) == UNKNOWN
assert inferNullity(parse('String foo() { return bar("2"); }; String bar(String s) { if (s != "2") return null; return "a"; }; ')) == UNKNOWN
}
void "test return boxed boolean constant"() {