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