Avoid checking trivial incorporated constraints
This commit is contained in:
+1
@@ -182,6 +182,7 @@ class ConstraintInjector(
|
|||||||
|
|
||||||
// from ConstraintIncorporator.Context
|
// from ConstraintIncorporator.Context
|
||||||
override fun addNewIncorporatedConstraint(lowerType: KotlinTypeMarker, upperType: KotlinTypeMarker) {
|
override fun addNewIncorporatedConstraint(lowerType: KotlinTypeMarker, upperType: KotlinTypeMarker) {
|
||||||
|
if (lowerType === upperType) return
|
||||||
if (c.isAllowedType(lowerType) && c.isAllowedType(upperType)) {
|
if (c.isAllowedType(lowerType) && c.isAllowedType(upperType)) {
|
||||||
runIsSubtypeOf(lowerType, upperType)
|
runIsSubtypeOf(lowerType, upperType)
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user