| // RUN_PIPELINE_TILL: CODEGEN | |
| interface TDat | |
| fun resolve(str: String): TDat = null!! | |
| val recProp by lazy { | |
| mapOf( | |
| "" to "" | |
| ).mapValues { | |
| resolve(it.value) | |
| } | |
| } | |
| /* GENERATED_FIR_TAGS: checkNotNullCall, functionDeclaration, interfaceDeclaration, lambdaLiteral, nullableType, | |
| propertyDeclaration, propertyDelegate, stringLiteral */ |