Replace "jet" package name with "kotlin" in testData
This commit is contained in:
@@ -4,7 +4,7 @@ SUBTYPE T Int
|
||||
SUPERTYPE T String
|
||||
|
||||
type parameter bounds:
|
||||
T <: jet.Int(SPECIAL), >: jet.String(SPECIAL)
|
||||
T <: kotlin.Int(SPECIAL), >: kotlin.String(SPECIAL)
|
||||
status:
|
||||
-hasConflictingConstraints: true
|
||||
-hasContradiction: true
|
||||
|
||||
@@ -4,7 +4,7 @@ SUBTYPE T Int
|
||||
SUPERTYPE T Int
|
||||
|
||||
type parameter bounds:
|
||||
T <: jet.Int(SPECIAL), >: jet.Int(SPECIAL)
|
||||
T <: kotlin.Int(SPECIAL), >: kotlin.Int(SPECIAL)
|
||||
status:
|
||||
-hasConflictingConstraints: false
|
||||
-hasContradiction: false
|
||||
@@ -15,4 +15,4 @@ status:
|
||||
-isSuccessful: true
|
||||
|
||||
result:
|
||||
T=jet.Int
|
||||
T=kotlin.Int
|
||||
|
||||
@@ -4,7 +4,7 @@ SUBTYPE T Int
|
||||
SUBTYPE T String weak
|
||||
|
||||
type parameter bounds:
|
||||
T <: jet.Int(SPECIAL), <: jet.String(TYPE_BOUND_POSITION(0))
|
||||
T <: kotlin.Int(SPECIAL), <: kotlin.String(TYPE_BOUND_POSITION(0))
|
||||
status:
|
||||
-hasConflictingConstraints: true
|
||||
-hasContradiction: true
|
||||
|
||||
@@ -4,7 +4,7 @@ SUPERTYPE T IntegerValueType(1000)
|
||||
SUBTYPE T Byte
|
||||
|
||||
type parameter bounds:
|
||||
T >: IntegerValueType(1000)(SPECIAL), <: jet.Byte(SPECIAL)
|
||||
T >: IntegerValueType(1000)(SPECIAL), <: kotlin.Byte(SPECIAL)
|
||||
status:
|
||||
-hasConflictingConstraints: true
|
||||
-hasContradiction: true
|
||||
|
||||
@@ -15,4 +15,4 @@ status:
|
||||
-isSuccessful: true
|
||||
|
||||
result:
|
||||
T=jet.Long
|
||||
T=kotlin.Long
|
||||
|
||||
@@ -4,7 +4,7 @@ SUPERTYPE T IntegerValueType(1)
|
||||
SUBTYPE T Any
|
||||
|
||||
type parameter bounds:
|
||||
T >: IntegerValueType(1)(SPECIAL), <: jet.Any(SPECIAL)
|
||||
T >: IntegerValueType(1)(SPECIAL), <: kotlin.Any(SPECIAL)
|
||||
status:
|
||||
-hasConflictingConstraints: false
|
||||
-hasContradiction: false
|
||||
@@ -15,4 +15,4 @@ status:
|
||||
-isSuccessful: true
|
||||
|
||||
result:
|
||||
T=jet.Int
|
||||
T=kotlin.Int
|
||||
|
||||
@@ -4,7 +4,7 @@ SUPERTYPE T IntegerValueType(1)
|
||||
SUPERTYPE T String
|
||||
|
||||
type parameter bounds:
|
||||
T >: IntegerValueType(1)(SPECIAL), >: jet.String(SPECIAL)
|
||||
T >: IntegerValueType(1)(SPECIAL), >: kotlin.String(SPECIAL)
|
||||
status:
|
||||
-hasConflictingConstraints: false
|
||||
-hasContradiction: false
|
||||
@@ -15,4 +15,4 @@ status:
|
||||
-isSuccessful: true
|
||||
|
||||
result:
|
||||
T=jet.Comparable<out jet.Any?>
|
||||
T=kotlin.Comparable<out kotlin.Any?>
|
||||
|
||||
@@ -15,4 +15,4 @@ status:
|
||||
-isSuccessful: true
|
||||
|
||||
result:
|
||||
T=jet.Int
|
||||
T=kotlin.Int
|
||||
|
||||
@@ -4,7 +4,7 @@ SUPERTYPE T IntegerValueType(1)
|
||||
SUBTYPE T Byte
|
||||
|
||||
type parameter bounds:
|
||||
T >: IntegerValueType(1)(SPECIAL), <: jet.Byte(SPECIAL)
|
||||
T >: IntegerValueType(1)(SPECIAL), <: kotlin.Byte(SPECIAL)
|
||||
status:
|
||||
-hasConflictingConstraints: false
|
||||
-hasContradiction: false
|
||||
@@ -15,4 +15,4 @@ status:
|
||||
-isSuccessful: true
|
||||
|
||||
result:
|
||||
T=jet.Byte
|
||||
T=kotlin.Byte
|
||||
|
||||
@@ -14,4 +14,4 @@ status:
|
||||
-isSuccessful: true
|
||||
|
||||
result:
|
||||
T=jet.Int
|
||||
T=kotlin.Int
|
||||
|
||||
@@ -4,7 +4,7 @@ SUPERTYPE T IntegerValueType(1)
|
||||
SUBTYPE T Short
|
||||
|
||||
type parameter bounds:
|
||||
T >: IntegerValueType(1)(SPECIAL), <: jet.Short(SPECIAL)
|
||||
T >: IntegerValueType(1)(SPECIAL), <: kotlin.Short(SPECIAL)
|
||||
status:
|
||||
-hasConflictingConstraints: false
|
||||
-hasContradiction: false
|
||||
@@ -15,4 +15,4 @@ status:
|
||||
-isSuccessful: true
|
||||
|
||||
result:
|
||||
T=jet.Short
|
||||
T=kotlin.Short
|
||||
|
||||
@@ -3,8 +3,8 @@ VARIABLES T P
|
||||
SUBTYPE T Int
|
||||
|
||||
type parameter bounds:
|
||||
T <: jet.Int(SPECIAL)
|
||||
P <: ???(TYPE_BOUND_POSITION(1)), <: jet.Int(COMPOUND_CONSTRAINT_POSITION)
|
||||
T <: kotlin.Int(SPECIAL)
|
||||
P <: ???(TYPE_BOUND_POSITION(1)), <: kotlin.Int(COMPOUND_CONSTRAINT_POSITION)
|
||||
status:
|
||||
-hasConflictingConstraints: false
|
||||
-hasContradiction: false
|
||||
@@ -15,6 +15,6 @@ status:
|
||||
-isSuccessful: true
|
||||
|
||||
result:
|
||||
T=jet.Int
|
||||
P=jet.Int
|
||||
T=kotlin.Int
|
||||
P=kotlin.Int
|
||||
|
||||
|
||||
Reference in New Issue
Block a user