[FE] Add toString to NewConstraintError
This commit is contained in:
committed by
Space Team
parent
74ba175255
commit
d39c019051
+5
-1
@@ -111,7 +111,11 @@ class NewConstraintError(
|
|||||||
override val upperType: KotlinTypeMarker,
|
override val upperType: KotlinTypeMarker,
|
||||||
override val position: IncorporationConstraintPosition,
|
override val position: IncorporationConstraintPosition,
|
||||||
) : ConstraintSystemError(if (position.from is ReceiverConstraintPosition<*>) INAPPLICABLE_WRONG_RECEIVER else INAPPLICABLE),
|
) : ConstraintSystemError(if (position.from is ReceiverConstraintPosition<*>) INAPPLICABLE_WRONG_RECEIVER else INAPPLICABLE),
|
||||||
NewConstraintMismatch
|
NewConstraintMismatch {
|
||||||
|
override fun toString(): String {
|
||||||
|
return "$lowerType <: $upperType"
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
class NewConstraintWarning(
|
class NewConstraintWarning(
|
||||||
override val lowerType: KotlinTypeMarker,
|
override val lowerType: KotlinTypeMarker,
|
||||||
|
|||||||
Reference in New Issue
Block a user