fun getNullableInt(): int? { return null; } fun main() { var c: int? = 6; __expect_type(c, "int"); if (c == null) {} var d: int? = c; if (((d)) != null && tupleSize(createEmptyTuple())) {} var e: int? = getNullableInt(); if (e != null) { return true; } __expect_type(e, "null"); null == e; return null != null; } /** @testcase | 0 | | 0 @stderr warning: variable `c` of type `int` is always not null, this condition is always false @stderr warning: variable `d` of type `int` is always not null, this condition is always true @stderr warning: variable `e` is always null, this condition is always true @stderr warning: expression is always null, this condition is always false */