[NI] Approximate components of raw types separately
This is needed as components can have different type arguments
This commit is contained in:
@@ -194,7 +194,7 @@ abstract class AbstractTypeApproximator(val ctx: TypeSystemInferenceExtensionCon
|
|||||||
|
|
||||||
val lowerResult = approximateTo(lowerBound, conf, depth)
|
val lowerResult = approximateTo(lowerBound, conf, depth)
|
||||||
|
|
||||||
val upperResult = if (lowerBound.typeConstructor() == upperBound.typeConstructor())
|
val upperResult = if (type !is RawTypeMarker && lowerBound.typeConstructor() == upperBound.typeConstructor())
|
||||||
lowerResult?.withNullability(upperBound.isMarkedNullable())
|
lowerResult?.withNullability(upperBound.isMarkedNullable())
|
||||||
else
|
else
|
||||||
approximateTo(upperBound, conf, depth)
|
approximateTo(upperBound, conf, depth)
|
||||||
|
|||||||
Reference in New Issue
Block a user