Rename: TypeConstructorMismatch -> ParameterConstraintError
This commit is contained in:
+1
-1
@@ -12,7 +12,7 @@ status:
|
||||
-hasConflictingConstraints: false
|
||||
-hasContradiction: true
|
||||
-hasErrorInConstrainingTypes: false
|
||||
-hasTypeConstructorMismatch: false
|
||||
-hasParameterConstraintError: false
|
||||
-hasTypeInferenceIncorporationError: true
|
||||
-hasUnknownParameters: true
|
||||
-hasViolatedUpperBound: false
|
||||
|
||||
Reference in New Issue
Block a user