blob: f6303e9c09afd11a5032d92fb6fd114a91c560c7 [file]
// RUN_PIPELINE_TILL: FRONTEND
// ISSUE: KT-67808
open class Base<T> {
val x: Any?
<!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>val y: T<!>
init {
this as Derived
x = "O"
this.<!VAL_REASSIGNMENT!>y<!> = <!ASSIGNMENT_TYPE_MISMATCH!>"O"<!>
}
}
class Derived: Base<String>()
/* GENERATED_FIR_TAGS: asExpression, assignment, classDeclaration, init, intersectionType, nullableType,
propertyDeclaration, smartcast, stringLiteral, thisExpression, typeParameter */