FILE: ft.kt
    <T> public abstract interface KMutableProperty1 : R|KProperty1<T>| {
    }
    <T> public abstract interface KProperty1 : R|(T) -> kotlin/Int| {
    }
