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