KaInternalsTypeRelationChecker¶

@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaInternalsTypeRelationChecker

Functions¶

abstract fun isSubtypeOf(
    type: KaType, 
    supertype: KaType, 
    errorTypePolicy: KaSubtypingErrorTypePolicy
): Boolean

abstract fun isSubtypeOf(
    type: KaType, 
    classId: ClassId, 
    errorTypePolicy: KaSubtypingErrorTypePolicy
): Boolean

abstract fun isSubtypeOf(
    type: KaType, 
    symbol: KaClassLikeSymbol, 
    errorTypePolicy: KaSubtypingErrorTypePolicy
): Boolean

abstract fun semanticallyEquals(
    type: KaType, 
    other: KaType, 
    errorTypePolicy: KaSubtypingErrorTypePolicy
): Boolean