compiler/testData/diagnostics/tests/callableReference/kt31981.kt

// RUN_PIPELINE_TILL: BACKEND
// DIAGNOSTICS: -UNUSED_PARAMETER

import kotlin.reflect.KProperty1
import kotlin.reflect.KMutableProperty1

class Inv<T> {
    val size: Int = 0
}

class DTO<T> {
    val test: Inv<T>? = null
    var q: Int = 0
    operator fun <R> get(prop: KProperty1<*, R>): R = TODO()
    operator fun <R> set(prop: KMutableProperty1<*, R>, value: R) { }
}

fun main(intDTO: DTO<Int>?) {
    if (intDTO != null) {
        <!DEBUG_INFO_SMARTCAST!>intDTO<!>[DTO<Int>::q] = <!DEBUG_INFO_SMARTCAST!>intDTO<!>[DTO<Int>::test]!!.size
        <!DEBUG_INFO_SMARTCAST!>intDTO<!>[DTO<Int>::q] = <!DEBUG_INFO_SMARTCAST!>intDTO<!>[DTO<Int>::test]!!.size
    }
}

/* GENERATED_FIR_TAGS: assignment, callableReference, checkNotNullCall, classDeclaration, equalityExpression,
functionDeclaration, ifExpression, integerLiteral, nullableType, operator, propertyDeclaration, smartcast,
starProjection, typeParameter */