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