| // RUN_PIPELINE_TILL: FRONTEND | |
| // LANGUAGE: -ProhibitOpenValDeferredInitialization | |
| // DIAGNOSTICS: -DEBUG_INFO_LEAKING_THIS | |
| open class A { | |
| open <!MUST_BE_INITIALIZED_WARNING!>val c: Int<!> | |
| <!VAL_WITH_SETTER!>set(value) {}<!> | |
| init { | |
| c = 1 | |
| } | |
| } | |
| /* GENERATED_FIR_TAGS: assignment, classDeclaration, init, integerLiteral, propertyDeclaration, setter */ |