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