| // RUN_PIPELINE_TILL: CODEGEN | |
| // ISSUE: KT-8761 | |
| // FULL_JDK | |
| // FIR_DUMP | |
| // LATEST_LV_DIFFERENCE | |
| import java.util.concurrent.ConcurrentHashMap | |
| import java.util.concurrent.ConcurrentMap | |
| fun <K, V> ConcurrentMap<K, V>.forEachValue(action: (V) -> Unit) {} | |
| fun <K, V> ConcurrentMap<K, V>.replaceIfPresent(k: K, v: V) { | |
| if (k in this) { | |
| this[k] = v | |
| } | |
| } | |
| fun main() { | |
| val map = ConcurrentHashMap<String, Int>() | |
| map.forEachValue { v -> | |
| // expected v to be `Int` here, got `Int!` | |
| v<!UNNECESSARY_SAFE_CALL!>?.<!>plus(2) | |
| v.minus(2) | |
| } | |
| map.replaceIfPresent("", <!NULLABILITY_MISMATCH_BASED_ON_EXPLICIT_TYPE_ARGUMENTS_FOR_JAVA!>null<!>) | |
| map.replaceIfPresent(<!NULLABILITY_MISMATCH_BASED_ON_EXPLICIT_TYPE_ARGUMENTS_FOR_JAVA!>null<!>, 0) | |
| } | |
| /* GENERATED_FIR_TAGS: flexibleType, funWithExtensionReceiver, functionDeclaration, functionalType, javaFunction, | |
| lambdaLiteral, localProperty, nullableType, propertyDeclaration, typeParameter */ |