// RUN_PIPELINE_TILL: BACKEND
interface KMutableProperty1<T> : KProperty1<T>

interface KProperty1<T> : (T) -> Int

/* GENERATED_FIR_TAGS: functionalType, interfaceDeclaration, nullableType, typeParameter */
