openide/plugins/kotlin/idea/tests/testData/refactoring/introduceProperty/extractWithInitializerToInterface.kt

// EXTRACTION_TARGET: property with initializer

interface T {
    fun foo(): Int = <selection>1</selection>
}