| ## `Source session for module <main>` | |
| ### Call 1 | |
| ``` | |
| bar#(R|<local>/generic|, R|<local>/first|, R|<local>/second|, R|<local>/third|, R|<local>/fourth|, R|<local>/fifth|) | |
| ``` | |
| #### Candidate 1: `FirNamedFunctionSymbol /bar` --- `fun <U0 : Generic<U1, U2, U3, U4, U5, U6, U7, U8, U9, Ua, Ub, Uc, Ud, Ue, Uf>, U1 : Alpha, U2 : Beta, U3 : Gamma, U4 : Delta, U5 : Epsilon, U6 : Psi, U7 : Omega, U8 : Sigma, U9 : Rho, Ua : Mu, Ub : Nu, Uc : Pi, Ud : Dzeta, Ue : Teta, Uf : Jot> bar(generic: U0, first: U1.(U2) -> U3, second: U4.(U5) -> U6, third: U7.(U8) -> U9, fourth: Ua.(Ub) -> Uc, fifth: Ud.(Ue) -> Uf): Any` | |
| ##### Resolution Stages > CreateFreshTypeVariableSubstitutorStage: | |
| 1. New `TypeVariable(U0)` for `FirNamedFunctionSymbol /bar`s parameter 0 | |
| 2. New `TypeVariable(U1)` for `FirNamedFunctionSymbol /bar`s parameter 1 | |
| 3. New `TypeVariable(U2)` for `FirNamedFunctionSymbol /bar`s parameter 2 | |
| 4. New `TypeVariable(U3)` for `FirNamedFunctionSymbol /bar`s parameter 3 | |
| 5. New `TypeVariable(U4)` for `FirNamedFunctionSymbol /bar`s parameter 4 | |
| 6. New `TypeVariable(U5)` for `FirNamedFunctionSymbol /bar`s parameter 5 | |
| 7. New `TypeVariable(U6)` for `FirNamedFunctionSymbol /bar`s parameter 6 | |
| 8. New `TypeVariable(U7)` for `FirNamedFunctionSymbol /bar`s parameter 7 | |
| 9. New `TypeVariable(U8)` for `FirNamedFunctionSymbol /bar`s parameter 8 | |
| 10. New `TypeVariable(U9)` for `FirNamedFunctionSymbol /bar`s parameter 9 | |
| 11. New `TypeVariable(Ua)` for `FirNamedFunctionSymbol /bar`s parameter 10 | |
| 12. New `TypeVariable(Ub)` for `FirNamedFunctionSymbol /bar`s parameter 11 | |
| 13. New `TypeVariable(Uc)` for `FirNamedFunctionSymbol /bar`s parameter 12 | |
| 14. New `TypeVariable(Ud)` for `FirNamedFunctionSymbol /bar`s parameter 13 | |
| 15. New `TypeVariable(Ue)` for `FirNamedFunctionSymbol /bar`s parameter 14 | |
| 16. New `TypeVariable(Uf)` for `FirNamedFunctionSymbol /bar`s parameter 15 | |
| 17. `TypeVariable(U0) <: Generic<TypeVariable(U1), TypeVariable(U2), TypeVariable(U3), TypeVariable(U4), TypeVariable(U5), TypeVariable(U6), TypeVariable(U7), TypeVariable(U8), TypeVariable(U9), TypeVariable(Ua), TypeVariable(Ub), TypeVariable(Uc), TypeVariable(Ud), TypeVariable(Ue), TypeVariable(Uf)>` _from DeclaredUpperBound_ | |
| 18. `TypeVariable(U1) <: Alpha` _from DeclaredUpperBound_ | |
| 19. `TypeVariable(U2) <: Beta` _from DeclaredUpperBound_ | |
| 20. `TypeVariable(U3) <: Gamma` _from DeclaredUpperBound_ | |
| 21. `TypeVariable(U4) <: Delta` _from DeclaredUpperBound_ | |
| 22. `TypeVariable(U5) <: Epsilon` _from DeclaredUpperBound_ | |
| 23. `TypeVariable(U6) <: Psi` _from DeclaredUpperBound_ | |
| 24. `TypeVariable(U7) <: Omega` _from DeclaredUpperBound_ | |
| 25. `TypeVariable(U8) <: Sigma` _from DeclaredUpperBound_ | |
| 26. `TypeVariable(U9) <: Rho` _from DeclaredUpperBound_ | |
| 27. `TypeVariable(Ua) <: Mu` _from DeclaredUpperBound_ | |
| 28. `TypeVariable(Ub) <: Nu` _from DeclaredUpperBound_ | |
| 29. `TypeVariable(Uc) <: Pi` _from DeclaredUpperBound_ | |
| 30. `TypeVariable(Ud) <: Dzeta` _from DeclaredUpperBound_ | |
| 31. `TypeVariable(Ue) <: Teta` _from DeclaredUpperBound_ | |
| 32. `TypeVariable(Uf) <: Jot` _from DeclaredUpperBound_ | |
| ##### Resolution Stages > CheckArguments: | |
| 1. `T0 <: TypeVariable(U0)` _from Argument R|<local>/generic|_ | |
| 2. Combine `T0 <: TypeVariable(U0)` with `TypeVariable(U0) <: Generic<TypeVariable(U1), TypeVariable(U2), TypeVariable(U3), TypeVariable(U4), TypeVariable(U5), TypeVariable(U6), TypeVariable(U7), TypeVariable(U8), TypeVariable(U9), TypeVariable(Ua), TypeVariable(Ub), TypeVariable(Uc), TypeVariable(Ud), TypeVariable(Ue), TypeVariable(Uf)>` | |
| 1. `T1 <: TypeVariable(U1)` | |
| 2. `TypeVariable(U1) <: T1` | |
| 3. `T2 <: TypeVariable(U2)` | |
| 4. `TypeVariable(U2) <: T2` | |
| 5. `T3 <: TypeVariable(U3)` | |
| 6. `TypeVariable(U3) <: T3` | |
| 7. `T4 <: TypeVariable(U4)` | |
| 8. `TypeVariable(U4) <: T4` | |
| 9. `T5 <: TypeVariable(U5)` | |
| 10. `TypeVariable(U5) <: T5` | |
| 11. `T6 <: TypeVariable(U6)` | |
| 12. `TypeVariable(U6) <: T6` | |
| 13. `T7 <: TypeVariable(U7)` | |
| 14. `TypeVariable(U7) <: T7` | |
| 15. `T8 <: TypeVariable(U8)` | |
| 16. `TypeVariable(U8) <: T8` | |
| 17. `T9 <: TypeVariable(U9)` | |
| 18. `TypeVariable(U9) <: T9` | |
| 19. `Ta <: TypeVariable(Ua)` | |
| 20. `TypeVariable(Ua) <: Ta` | |
| 21. `Tb <: TypeVariable(Ub)` | |
| 22. `TypeVariable(Ub) <: Tb` | |
| 23. `Tc <: TypeVariable(Uc)` | |
| 24. `TypeVariable(Uc) <: Tc` | |
| 25. `Td <: TypeVariable(Ud)` | |
| 26. `TypeVariable(Ud) <: Td` | |
| 27. `Te <: TypeVariable(Ue)` | |
| 28. `TypeVariable(Ue) <: Te` | |
| 29. `Tf <: TypeVariable(Uf)` | |
| 30. `TypeVariable(Uf) <: Tf` | |
| 3. Combine `T1 <: TypeVariable(U1)` with `TypeVariable(U1) <: T1` | |
| 1. `TypeVariable(U1) == T1` | |
| 4. Combine `T2 <: TypeVariable(U2)` with `TypeVariable(U2) <: T2` | |
| 1. `TypeVariable(U2) == T2` | |
| 5. Combine `T3 <: TypeVariable(U3)` with `TypeVariable(U3) <: T3` | |
| 1. `TypeVariable(U3) == T3` | |
| 6. Combine `T4 <: TypeVariable(U4)` with `TypeVariable(U4) <: T4` | |
| 1. `TypeVariable(U4) == T4` | |
| 7. Combine `T5 <: TypeVariable(U5)` with `TypeVariable(U5) <: T5` | |
| 1. `TypeVariable(U5) == T5` | |
| 8. Combine `T6 <: TypeVariable(U6)` with `TypeVariable(U6) <: T6` | |
| 1. `TypeVariable(U6) == T6` | |
| 9. Combine `T7 <: TypeVariable(U7)` with `TypeVariable(U7) <: T7` | |
| 1. `TypeVariable(U7) == T7` | |
| 10. Combine `T8 <: TypeVariable(U8)` with `TypeVariable(U8) <: T8` | |
| 1. `TypeVariable(U8) == T8` | |
| 11. Combine `T9 <: TypeVariable(U9)` with `TypeVariable(U9) <: T9` | |
| 1. `TypeVariable(U9) == T9` | |
| 12. Combine `Ta <: TypeVariable(Ua)` with `TypeVariable(Ua) <: Ta` | |
| 1. `TypeVariable(Ua) == Ta` | |
| 13. Combine `Tb <: TypeVariable(Ub)` with `TypeVariable(Ub) <: Tb` | |
| 1. `TypeVariable(Ub) == Tb` | |
| 14. Combine `Tc <: TypeVariable(Uc)` with `TypeVariable(Uc) <: Tc` | |
| 1. `TypeVariable(Uc) == Tc` | |
| 15. Combine `Td <: TypeVariable(Ud)` with `TypeVariable(Ud) <: Td` | |
| 1. `TypeVariable(Ud) == Td` | |
| 16. Combine `Te <: TypeVariable(Ue)` with `TypeVariable(Ue) <: Te` | |
| 1. `TypeVariable(Ue) == Te` | |
| 17. Combine `Tf <: TypeVariable(Uf)` with `TypeVariable(Uf) <: Tf` | |
| 1. `TypeVariable(Uf) == Tf` | |
| 18. `T1.(T2) -> T3 <: TypeVariable(U1).(TypeVariable(U2)) -> TypeVariable(U3)` _from Argument R|<local>/first|_ | |
| 19. `T4.(T5) -> T6 <: TypeVariable(U4).(TypeVariable(U5)) -> TypeVariable(U6)` _from Argument R|<local>/second|_ | |
| 20. `T7.(T8) -> T9 <: TypeVariable(U7).(TypeVariable(U8)) -> TypeVariable(U9)` _from Argument R|<local>/third|_ | |
| 21. `Ta.(Tb) -> Tc <: TypeVariable(Ua).(TypeVariable(Ub)) -> TypeVariable(Uc)` _from Argument R|<local>/fourth|_ | |
| 22. `Td.(Te) -> Tf <: TypeVariable(Ud).(TypeVariable(Ue)) -> TypeVariable(Uf)` _from Argument R|<local>/fifth|_ | |
| ##### Resolution Stages > CheckLambdaAgainstTypeVariableContradiction: | |
| 1. `kotlin/Any <: kotlin/Any` _from ExpectedType for some call_ | |
| ##### Call Completion: | |
| 1. Choose `TypeVariable(U1)` with `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 1. `TypeVariable(U0)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 2. `TypeVariable(U2)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 3. `TypeVariable(U3)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 4. `TypeVariable(U4)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 5. `TypeVariable(U5)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 6. `TypeVariable(U6)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 7. `TypeVariable(U7)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 8. `TypeVariable(U8)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 9. `TypeVariable(U9)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 10. `TypeVariable(Ua)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 11. `TypeVariable(Ub)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 12. `TypeVariable(Uc)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 13. `TypeVariable(Ud)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 14. `TypeVariable(Ue)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 15. `TypeVariable(Uf)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 2. `TypeVariable(U1) == T1` _from Fix variable U1_ | |
| 3. `TypeVariable(U0) <: Generic<T1, TypeVariable(U2), TypeVariable(U3), TypeVariable(U4), TypeVariable(U5), TypeVariable(U6), TypeVariable(U7), TypeVariable(U8), TypeVariable(U9), TypeVariable(Ua), TypeVariable(Ub), TypeVariable(Uc), TypeVariable(Ud), TypeVariable(Ue), TypeVariable(Uf)>` _from Fix variable U1_ | |
| 4. Combine `T0 <: TypeVariable(U0)` with `TypeVariable(U0) <: Generic<T1, TypeVariable(U2), TypeVariable(U3), TypeVariable(U4), TypeVariable(U5), TypeVariable(U6), TypeVariable(U7), TypeVariable(U8), TypeVariable(U9), TypeVariable(Ua), TypeVariable(Ub), TypeVariable(Uc), TypeVariable(Ud), TypeVariable(Ue), TypeVariable(Uf)>` | |
| 1. `T2 <: TypeVariable(U2)` | |
| 2. `TypeVariable(U2) <: T2` | |
| 3. `T3 <: TypeVariable(U3)` | |
| 4. `TypeVariable(U3) <: T3` | |
| 5. `T4 <: TypeVariable(U4)` | |
| 6. `TypeVariable(U4) <: T4` | |
| 7. `T5 <: TypeVariable(U5)` | |
| 8. `TypeVariable(U5) <: T5` | |
| 9. `T6 <: TypeVariable(U6)` | |
| 10. `TypeVariable(U6) <: T6` | |
| 11. `T7 <: TypeVariable(U7)` | |
| 12. `TypeVariable(U7) <: T7` | |
| 13. `T8 <: TypeVariable(U8)` | |
| 14. `TypeVariable(U8) <: T8` | |
| 15. `T9 <: TypeVariable(U9)` | |
| 16. `TypeVariable(U9) <: T9` | |
| 17. `Ta <: TypeVariable(Ua)` | |
| 18. `TypeVariable(Ua) <: Ta` | |
| 19. `Tb <: TypeVariable(Ub)` | |
| 20. `TypeVariable(Ub) <: Tb` | |
| 21. `Tc <: TypeVariable(Uc)` | |
| 22. `TypeVariable(Uc) <: Tc` | |
| 23. `Td <: TypeVariable(Ud)` | |
| 24. `TypeVariable(Ud) <: Td` | |
| 25. `Te <: TypeVariable(Ue)` | |
| 26. `TypeVariable(Ue) <: Te` | |
| 27. `Tf <: TypeVariable(Uf)` | |
| 28. `TypeVariable(Uf) <: Tf` | |
| 5. Choose `TypeVariable(U2)` with `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 1. `TypeVariable(U0)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 2. `TypeVariable(U3)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 3. `TypeVariable(U4)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 4. `TypeVariable(U5)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 5. `TypeVariable(U6)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 6. `TypeVariable(U7)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 7. `TypeVariable(U8)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 8. `TypeVariable(U9)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 9. `TypeVariable(Ua)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 10. `TypeVariable(Ub)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 11. `TypeVariable(Uc)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 12. `TypeVariable(Ud)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 13. `TypeVariable(Ue)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 14. `TypeVariable(Uf)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 6. `TypeVariable(U2) == T2` _from Fix variable U2_ | |
| 7. `TypeVariable(U0) <: Generic<T1, T2, TypeVariable(U3), TypeVariable(U4), TypeVariable(U5), TypeVariable(U6), TypeVariable(U7), TypeVariable(U8), TypeVariable(U9), TypeVariable(Ua), TypeVariable(Ub), TypeVariable(Uc), TypeVariable(Ud), TypeVariable(Ue), TypeVariable(Uf)>` _from Fix variable U2_ | |
| 8. Choose `TypeVariable(U3)` with `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 1. `TypeVariable(U0)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 2. `TypeVariable(U4)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 3. `TypeVariable(U5)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 4. `TypeVariable(U6)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 5. `TypeVariable(U7)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 6. `TypeVariable(U8)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 7. `TypeVariable(U9)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 8. `TypeVariable(Ua)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 9. `TypeVariable(Ub)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 10. `TypeVariable(Uc)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 11. `TypeVariable(Ud)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 12. `TypeVariable(Ue)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 13. `TypeVariable(Uf)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 9. `TypeVariable(U3) == T3` _from Fix variable U3_ | |
| 10. `TypeVariable(U0) <: Generic<T1, T2, T3, TypeVariable(U4), TypeVariable(U5), TypeVariable(U6), TypeVariable(U7), TypeVariable(U8), TypeVariable(U9), TypeVariable(Ua), TypeVariable(Ub), TypeVariable(Uc), TypeVariable(Ud), TypeVariable(Ue), TypeVariable(Uf)>` _from Fix variable U3_ | |
| 11. Choose `TypeVariable(U4)` with `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 1. `TypeVariable(U0)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 2. `TypeVariable(U5)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 3. `TypeVariable(U6)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 4. `TypeVariable(U7)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 5. `TypeVariable(U8)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 6. `TypeVariable(U9)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 7. `TypeVariable(Ua)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 8. `TypeVariable(Ub)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 9. `TypeVariable(Uc)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 10. `TypeVariable(Ud)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 11. `TypeVariable(Ue)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 12. `TypeVariable(Uf)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 12. `TypeVariable(U4) == T4` _from Fix variable U4_ | |
| 13. `TypeVariable(U0) <: Generic<T1, T2, T3, T4, TypeVariable(U5), TypeVariable(U6), TypeVariable(U7), TypeVariable(U8), TypeVariable(U9), TypeVariable(Ua), TypeVariable(Ub), TypeVariable(Uc), TypeVariable(Ud), TypeVariable(Ue), TypeVariable(Uf)>` _from Fix variable U4_ | |
| 14. Choose `TypeVariable(U5)` with `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 1. `TypeVariable(U0)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 2. `TypeVariable(U6)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 3. `TypeVariable(U7)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 4. `TypeVariable(U8)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 5. `TypeVariable(U9)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 6. `TypeVariable(Ua)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 7. `TypeVariable(Ub)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 8. `TypeVariable(Uc)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 9. `TypeVariable(Ud)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 10. `TypeVariable(Ue)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 11. `TypeVariable(Uf)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 15. `TypeVariable(U5) == T5` _from Fix variable U5_ | |
| 16. `TypeVariable(U0) <: Generic<T1, T2, T3, T4, T5, TypeVariable(U6), TypeVariable(U7), TypeVariable(U8), TypeVariable(U9), TypeVariable(Ua), TypeVariable(Ub), TypeVariable(Uc), TypeVariable(Ud), TypeVariable(Ue), TypeVariable(Uf)>` _from Fix variable U5_ | |
| 17. Choose `TypeVariable(U6)` with `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 1. `TypeVariable(U0)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 2. `TypeVariable(U7)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 3. `TypeVariable(U8)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 4. `TypeVariable(U9)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 5. `TypeVariable(Ua)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 6. `TypeVariable(Ub)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 7. `TypeVariable(Uc)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 8. `TypeVariable(Ud)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 9. `TypeVariable(Ue)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 10. `TypeVariable(Uf)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 18. `TypeVariable(U6) == T6` _from Fix variable U6_ | |
| 19. `TypeVariable(U0) <: Generic<T1, T2, T3, T4, T5, T6, TypeVariable(U7), TypeVariable(U8), TypeVariable(U9), TypeVariable(Ua), TypeVariable(Ub), TypeVariable(Uc), TypeVariable(Ud), TypeVariable(Ue), TypeVariable(Uf)>` _from Fix variable U6_ | |
| 20. Choose `TypeVariable(U7)` with `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 1. `TypeVariable(U0)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 2. `TypeVariable(U8)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 3. `TypeVariable(U9)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 4. `TypeVariable(Ua)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 5. `TypeVariable(Ub)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 6. `TypeVariable(Uc)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 7. `TypeVariable(Ud)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 8. `TypeVariable(Ue)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 9. `TypeVariable(Uf)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 21. `TypeVariable(U7) == T7` _from Fix variable U7_ | |
| 22. `TypeVariable(U0) <: Generic<T1, T2, T3, T4, T5, T6, T7, TypeVariable(U8), TypeVariable(U9), TypeVariable(Ua), TypeVariable(Ub), TypeVariable(Uc), TypeVariable(Ud), TypeVariable(Ue), TypeVariable(Uf)>` _from Fix variable U7_ | |
| 23. Choose `TypeVariable(U8)` with `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 1. `TypeVariable(U0)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 2. `TypeVariable(U9)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 3. `TypeVariable(Ua)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 4. `TypeVariable(Ub)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 5. `TypeVariable(Uc)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 6. `TypeVariable(Ud)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 7. `TypeVariable(Ue)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 8. `TypeVariable(Uf)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 24. `TypeVariable(U8) == T8` _from Fix variable U8_ | |
| 25. `TypeVariable(U0) <: Generic<T1, T2, T3, T4, T5, T6, T7, T8, TypeVariable(U9), TypeVariable(Ua), TypeVariable(Ub), TypeVariable(Uc), TypeVariable(Ud), TypeVariable(Ue), TypeVariable(Uf)>` _from Fix variable U8_ | |
| 26. Choose `TypeVariable(U9)` with `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 1. `TypeVariable(U0)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 2. `TypeVariable(Ua)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 3. `TypeVariable(Ub)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 4. `TypeVariable(Uc)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 5. `TypeVariable(Ud)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 6. `TypeVariable(Ue)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 7. `TypeVariable(Uf)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 27. `TypeVariable(U9) == T9` _from Fix variable U9_ | |
| 28. `TypeVariable(U0) <: Generic<T1, T2, T3, T4, T5, T6, T7, T8, T9, TypeVariable(Ua), TypeVariable(Ub), TypeVariable(Uc), TypeVariable(Ud), TypeVariable(Ue), TypeVariable(Uf)>` _from Fix variable U9_ | |
| 29. Choose `TypeVariable(Ua)` with `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 1. `TypeVariable(U0)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 2. `TypeVariable(Ub)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 3. `TypeVariable(Uc)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 4. `TypeVariable(Ud)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 5. `TypeVariable(Ue)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 6. `TypeVariable(Uf)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 30. `TypeVariable(Ua) == Ta` _from Fix variable Ua_ | |
| 31. `TypeVariable(U0) <: Generic<T1, T2, T3, T4, T5, T6, T7, T8, T9, Ta, TypeVariable(Ub), TypeVariable(Uc), TypeVariable(Ud), TypeVariable(Ue), TypeVariable(Uf)>` _from Fix variable Ua_ | |
| 32. Choose `TypeVariable(Ub)` with `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 1. `TypeVariable(U0)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 2. `TypeVariable(Uc)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 3. `TypeVariable(Ud)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 4. `TypeVariable(Ue)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 5. `TypeVariable(Uf)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 33. `TypeVariable(Ub) == Tb` _from Fix variable Ub_ | |
| 34. `TypeVariable(U0) <: Generic<T1, T2, T3, T4, T5, T6, T7, T8, T9, Ta, Tb, TypeVariable(Uc), TypeVariable(Ud), TypeVariable(Ue), TypeVariable(Uf)>` _from Fix variable Ub_ | |
| 35. Choose `TypeVariable(Uc)` with `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 1. `TypeVariable(U0)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 2. `TypeVariable(Ud)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 3. `TypeVariable(Ue)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 4. `TypeVariable(Uf)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 36. `TypeVariable(Uc) == Tc` _from Fix variable Uc_ | |
| 37. `TypeVariable(U0) <: Generic<T1, T2, T3, T4, T5, T6, T7, T8, T9, Ta, Tb, Tc, TypeVariable(Ud), TypeVariable(Ue), TypeVariable(Uf)>` _from Fix variable Uc_ | |
| 38. Choose `TypeVariable(Ud)` with `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 1. `TypeVariable(U0)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 2. `TypeVariable(Ue)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 3. `TypeVariable(Uf)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 39. `TypeVariable(Ud) == Td` _from Fix variable Ud_ | |
| 40. `TypeVariable(U0) <: Generic<T1, T2, T3, T4, T5, T6, T7, T8, T9, Ta, Tb, Tc, Td, TypeVariable(Ue), TypeVariable(Uf)>` _from Fix variable Ud_ | |
| 41. Choose `TypeVariable(Ue)` with `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 1. `TypeVariable(U0)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 2. `TypeVariable(Uf)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 42. `TypeVariable(Ue) == Te` _from Fix variable Ue_ | |
| 43. `TypeVariable(U0) <: Generic<T1, T2, T3, T4, T5, T6, T7, T8, T9, Ta, Tb, Tc, Td, Te, TypeVariable(Uf)>` _from Fix variable Ue_ | |
| 44. Choose `TypeVariable(Uf)` with `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| true HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 1. `TypeVariable(U0)` is `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 45. `TypeVariable(Uf) == Tf` _from Fix variable Uf_ | |
| 46. `TypeVariable(U0) <: Generic<T1, T2, T3, T4, T5, T6, T7, T8, T9, Ta, Tb, Tc, Td, Te, Tf>` _from Fix variable Uf_ | |
| 47. Choose `TypeVariable(U0)` with `Readiness( | |
| true ALLOWED | |
| true HAS_PROPER_CONSTRAINTS | |
| true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY | |
| false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES | |
| true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 48. `TypeVariable(U0) == T0` _from Fix variable U0_ | |
| ### Call 2 | |
| ``` | |
| TODO#() | |
| ``` | |
| #### Candidate 1: `FirNamedFunctionSymbol kotlin/TODO` --- `@InlineOnly() fun TODO(): Nothing` | |
| ##### Continue Resolution Stages > CheckLambdaAgainstTypeVariableContradiction: | |
| 1. `kotlin/Nothing <: kotlin/Any` _from ExpectedType for some call_ |