blob: e162d7c9186c41936f0ed2a4b2c9d6c7b0bb49ac [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 */