VARIABLES T

SUBTYPE T Int
SUPERTYPE T String

type parameter bounds:
T <: kotlin.Int(SPECIAL), >: kotlin.String(SPECIAL)
status:
-hasConflictingConstraints: true
-hasContradiction: true
-hasErrorInConstrainingTypes: false
-hasTypeConstructorMismatch: false
-hasUnknownParameters: false
-hasViolatedUpperBound: false
-isSuccessful: false

result:
T=???