kotlin-fork/idea/testData/codeInsight/overrideImplement/overrideMutableExtensionProperty.kt.after

trait A {
    var Int.foo : Double
}

class B : A {
    override var Int.foo: Double
        get() = 0.0
        set(value) {
        }
}