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