idea/testData/codeInsight/overrideImplement/overrideMutableExtensionProperty.kt

interface A {
    var Int.foo : Double
}

class B : A {
    <caret>
}