plugins/kotlin/idea/tests/testData/quickfix/typeMismatch/dontChangeOverriddenPropertyTypeToErrorType.kt


1
2
3
4
5
6
7
8
9
10
11
12
13

// "Change type to '(String) -> [ERROR : Ay]'" "false"
// ACTION: Add full qualifier
// ACTION: Change type of base property 'A.x' to '(Int) -> Int'
// ACTION: Go To Super Property
// ACTION: Introduce import alias
// ERROR: Type of 'x' is not a subtype of the overridden property 'public abstract val x: (String) -> [Error type: Unresolved type for Ay] defined in A'
// ERROR: Unresolved reference: Ay
interface A {
    val x: (String) -> Ay
}
interface B : A {
    override val x: (Int) -> Int<caret>
}