Updated constraint system tests
This commit is contained in:
@@ -11,6 +11,7 @@ status:
|
||||
-hasContradiction: false
|
||||
-hasErrorInConstrainingTypes: false
|
||||
-hasTypeConstructorMismatch: false
|
||||
-hasTypeInferenceIncorporationError: false
|
||||
-hasUnknownParameters: false
|
||||
-hasViolatedUpperBound: false
|
||||
-isSuccessful: true
|
||||
|
||||
@@ -11,6 +11,7 @@ status:
|
||||
-hasContradiction: false
|
||||
-hasErrorInConstrainingTypes: false
|
||||
-hasTypeConstructorMismatch: false
|
||||
-hasTypeInferenceIncorporationError: false
|
||||
-hasUnknownParameters: false
|
||||
-hasViolatedUpperBound: false
|
||||
-isSuccessful: true
|
||||
|
||||
@@ -11,6 +11,7 @@ status:
|
||||
-hasContradiction: false
|
||||
-hasErrorInConstrainingTypes: false
|
||||
-hasTypeConstructorMismatch: false
|
||||
-hasTypeInferenceIncorporationError: false
|
||||
-hasUnknownParameters: false
|
||||
-hasViolatedUpperBound: false
|
||||
-isSuccessful: true
|
||||
|
||||
Reference in New Issue
Block a user