| VARIABLES T P E |
| FIX_VARIABLES |
| |
| Int <: T |
| Successor<E> <: P |
| P <: My<T> |
| |
| type parameter bounds: |
| T >: Int, := T*, := E*, := Int |
| P >: Successor<E>*, <: My<T>*, >: Successor<T>*, <: My<E>*, <: My<Int>, >: Successor<Int>, := Successor<Int> |
| E := T*, >: Int, := E*, := Int |
| |
| 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=Successor<Int> |
| E=Int |
