VARIABLES T

SUBTYPE T Int
SUBTYPE T String weak

type parameter bounds:
T <: kotlin.Int, <: kotlin.String

status:
-hasCannotCaptureTypesError: false
-hasConflictingConstraints: true
-hasContradiction: true
-hasErrorInConstrainingTypes: false
-hasTypeConstructorMismatch: false
-hasUnknownParameters: false
-hasViolatedUpperBound: true
-isSuccessful: false

result:
T=???