Use abstract 'createErrorType' in TypeApproximator to fix FIR assertion
NB: each type system should use its own error types
This commit is contained in:
@@ -428,7 +428,7 @@ abstract class AbstractTypeApproximator(val ctx: TypeSystemInferenceExtensionCon
|
|||||||
when (effectiveVariance) {
|
when (effectiveVariance) {
|
||||||
null -> {
|
null -> {
|
||||||
return if (conf.errorType) {
|
return if (conf.errorType) {
|
||||||
ErrorUtils.createErrorType(
|
createErrorType(
|
||||||
"Inconsistent type: $type ($index parameter has declared variance: ${parameter.getVariance()}, " +
|
"Inconsistent type: $type ($index parameter has declared variance: ${parameter.getVariance()}, " +
|
||||||
"but argument variance is ${argument.getVariance()})"
|
"but argument variance is ${argument.getVariance()})"
|
||||||
)
|
)
|
||||||
|
|||||||
Reference in New Issue
Block a user