| VARIABLES T | |
| T := Int | |
| T := My<T> | |
| type parameter bounds: | |
| T := Int, := My<T>*, := My<Int> | |
| status: | |
| -hasCannotCaptureTypesError: false | |
| -hasConflictingConstraints: true | |
| -hasContradiction: true | |
| -hasErrorInConstrainingTypes: false | |
| -hasParameterConstraintError: false | |
| -hasTypeInferenceIncorporationError: true | |
| -hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false | |
| -hasUnknownParameters: false | |
| -hasViolatedUpperBound: false | |
| -isSuccessful: false | |
| result: | |
| T=??? |