// RESOLVE_SCRIPT fun f(p: Int?): Int { val fy = p!! val fz = p + 1 return fz } fun consume(x: Int) {} val x: Int? = 1 val y = x!! val z = x + 1 fun foo() = x + 1 consume(x + 1) x!! consume(x + 1) val zz = x + 1 class A { val cz = x + 1 fun bar() = x + 1 }