| // RUN_PIPELINE_TILL: BACKEND |
| 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 */ |