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