| // RUN_PIPELINE_TILL: CODEGEN | |
| import java.util.HashSet | |
| val a: MutableSet<String>? = HashSet() | |
| var b: MutableSet<String>? = null | |
| set(_) { | |
| field = HashSet() | |
| } | |
| var <T> MutableSet<T>.d: T? get() = null | |
| set(_) {} | |
| fun <T> produce(): T = TODO() | |
| fun foo() { | |
| var c: MutableSet<String>? = null | |
| c = HashSet() | |
| c<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>.d = produce() | |
| } | |
| /* GENERATED_FIR_TAGS: assignment, checkNotNullCall, functionDeclaration, getter, javaFunction, localProperty, | |
| nullableType, propertyDeclaration, propertyWithExtensionReceiver, setter, smartcast, typeParameter */ |