idea/testData/codeInsight/overrideImplement/defaultValues.kt

interface T {
    fun foo(a:Int = 1)
}

class C : T {
    <caret>
}