[FIR] Allow type-variables in general subtyping with cone context
This commit is contained in:
committed by
Mikhail Glukhikh
parent
20ba15a429
commit
397aaa189e
@@ -419,6 +419,6 @@ class ConeTypeCheckerContext(override val isErrorTypeEqualsToAnything: Boolean,
|
|||||||
}
|
}
|
||||||
|
|
||||||
override val KotlinTypeMarker.isAllowedTypeVariable: Boolean
|
override val KotlinTypeMarker.isAllowedTypeVariable: Boolean
|
||||||
get() = false
|
get() = this is ConeKotlinType && this is ConeTypeVariableType
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user