ContractInferenceFromSourceTest: expected data fixed after improved nullity inference

This commit is contained in:
Tagir Valeev
2019-02-14 15:08:12 +07:00
parent 48ae320219
commit fb8a56f765
@@ -591,7 +591,7 @@ class Foo {{
return s == null ? "" : s;
}
""")
assert c == ['null -> !null', '!null -> param1']
assert c == ['!null -> param1'] // NotNull annotation is also inferred, so 'null -> !null' is redundant
}
void "test coalesce"() {