| ## `Source session for module <main>` |
| |
| ### Call 1 |
| |
| ``` |
| x#(String(), String(), String(), String(), String(), String(), String(), String(), String()) |
| ``` |
| |
| #### Candidate 1: `FirNamedFunctionSymbol /invoke` --- `fun <T : (A1, A2, A3, A4, A5, A6, A7, A8, A9) -> R, R, A1, A2, A3, A4, A5, A6, A7, A8, A9> Inv<T>.invoke(arg1: A1, arg2: A2, arg3: A3, arg4: A4, arg5: A5, arg6: A6, args7: A7, args8: A8, args9: A9): Unit` |
| ##### Resolution Stages > CreateFreshTypeVariableSubstitutorStage: |
| |
| 1. New `TypeVariable(T)` for `FirNamedFunctionSymbol /invoke`s parameter 0 |
| 2. New `TypeVariable(R)` for `FirNamedFunctionSymbol /invoke`s parameter 1 |
| 3. New `TypeVariable(A1)` for `FirNamedFunctionSymbol /invoke`s parameter 2 |
| 4. New `TypeVariable(A2)` for `FirNamedFunctionSymbol /invoke`s parameter 3 |
| 5. New `TypeVariable(A3)` for `FirNamedFunctionSymbol /invoke`s parameter 4 |
| 6. New `TypeVariable(A4)` for `FirNamedFunctionSymbol /invoke`s parameter 5 |
| 7. New `TypeVariable(A5)` for `FirNamedFunctionSymbol /invoke`s parameter 6 |
| 8. New `TypeVariable(A6)` for `FirNamedFunctionSymbol /invoke`s parameter 7 |
| 9. New `TypeVariable(A7)` for `FirNamedFunctionSymbol /invoke`s parameter 8 |
| 10. New `TypeVariable(A8)` for `FirNamedFunctionSymbol /invoke`s parameter 9 |
| 11. New `TypeVariable(A9)` for `FirNamedFunctionSymbol /invoke`s parameter 10 |
| 12. `TypeVariable(T) <: (TypeVariable(A1), TypeVariable(A2), TypeVariable(A3), TypeVariable(A4), TypeVariable(A5), TypeVariable(A6), TypeVariable(A7), TypeVariable(A8), TypeVariable(A9)) -> TypeVariable(R)` _from DeclaredUpperBound_ |
| |
| ##### Resolution Stages > CheckExtensionReceiver: |
| |
| 1. `Inv<(kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String) -> kotlin/String> <: Inv<TypeVariable(T)>` _from Receiver R|<local>/x|_ |
| 1. `(kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String) -> kotlin/String <: TypeVariable(T)` |
| 2. `TypeVariable(T) <: (kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String) -> kotlin/String` |
| 2. Combine `(kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String) -> kotlin/String <: TypeVariable(T)` with `TypeVariable(T) <: (TypeVariable(A1), TypeVariable(A2), TypeVariable(A3), TypeVariable(A4), TypeVariable(A5), TypeVariable(A6), TypeVariable(A7), TypeVariable(A8), TypeVariable(A9)) -> TypeVariable(R)` |
| 1. `TypeVariable(A1) <: kotlin/String` |
| 2. `TypeVariable(A2) <: kotlin/String` |
| 3. `TypeVariable(A3) <: kotlin/String` |
| 4. `TypeVariable(A4) <: kotlin/String` |
| 5. `TypeVariable(A5) <: kotlin/String` |
| 6. `TypeVariable(A6) <: kotlin/String` |
| 7. `TypeVariable(A7) <: kotlin/String` |
| 8. `TypeVariable(A8) <: kotlin/String` |
| 9. `TypeVariable(A9) <: kotlin/String` |
| 10. `kotlin/String <: TypeVariable(R)` |
| 3. Combine `(kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String) -> kotlin/String <: TypeVariable(T)` with `TypeVariable(T) <: (kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String) -> kotlin/String` |
| 1. `TypeVariable(T) == (kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String) -> kotlin/String` |
| |
| ##### Resolution Stages > CheckArguments: |
| |
| 1. `kotlin/String <: TypeVariable(A1)` _from Argument String()_ |
| 2. Combine `TypeVariable(A1) <: kotlin/String` with `kotlin/String <: TypeVariable(A1)` |
| 1. `TypeVariable(A1) == kotlin/String` |
| 3. `kotlin/String <: TypeVariable(A2)` _from Argument String()_ |
| 4. Combine `TypeVariable(A2) <: kotlin/String` with `kotlin/String <: TypeVariable(A2)` |
| 1. `TypeVariable(A2) == kotlin/String` |
| 5. `kotlin/String <: TypeVariable(A3)` _from Argument String()_ |
| 6. Combine `TypeVariable(A3) <: kotlin/String` with `kotlin/String <: TypeVariable(A3)` |
| 1. `TypeVariable(A3) == kotlin/String` |
| 7. `kotlin/String <: TypeVariable(A4)` _from Argument String()_ |
| 8. Combine `TypeVariable(A4) <: kotlin/String` with `kotlin/String <: TypeVariable(A4)` |
| 1. `TypeVariable(A4) == kotlin/String` |
| 9. `kotlin/String <: TypeVariable(A5)` _from Argument String()_ |
| 10. Combine `TypeVariable(A5) <: kotlin/String` with `kotlin/String <: TypeVariable(A5)` |
| 1. `TypeVariable(A5) == kotlin/String` |
| 11. `kotlin/String <: TypeVariable(A6)` _from Argument String()_ |
| 12. Combine `TypeVariable(A6) <: kotlin/String` with `kotlin/String <: TypeVariable(A6)` |
| 1. `TypeVariable(A6) == kotlin/String` |
| 13. `kotlin/String <: TypeVariable(A7)` _from Argument String()_ |
| 14. Combine `TypeVariable(A7) <: kotlin/String` with `kotlin/String <: TypeVariable(A7)` |
| 1. `TypeVariable(A7) == kotlin/String` |
| 15. `kotlin/String <: TypeVariable(A8)` _from Argument String()_ |
| 16. Combine `TypeVariable(A8) <: kotlin/String` with `kotlin/String <: TypeVariable(A8)` |
| 1. `TypeVariable(A8) == kotlin/String` |
| 17. `kotlin/String <: TypeVariable(A9)` _from Argument String()_ |
| 18. Combine `TypeVariable(A9) <: kotlin/String` with `kotlin/String <: TypeVariable(A9)` |
| 1. `TypeVariable(A9) == kotlin/String` |
| |
| ##### Call Completion: |
| |
| 1. Choose `TypeVariable(A1)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 1. `TypeVariable(T)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 2. `TypeVariable(R)` 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 |
| false HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 3. `TypeVariable(A2)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 4. `TypeVariable(A3)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 5. `TypeVariable(A4)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 6. `TypeVariable(A5)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 7. `TypeVariable(A6)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 8. `TypeVariable(A7)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 9. `TypeVariable(A8)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 10. `TypeVariable(A9)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 2. `TypeVariable(A1) == kotlin/String` _from Fix variable A1_ |
| 3. Combine `TypeVariable(A1) == kotlin/String` with `TypeVariable(T) <: (TypeVariable(A1), TypeVariable(A2), TypeVariable(A3), TypeVariable(A4), TypeVariable(A5), TypeVariable(A6), TypeVariable(A7), TypeVariable(A8), TypeVariable(A9)) -> TypeVariable(R)` |
| 1. `TypeVariable(T) <: (kotlin/String, TypeVariable(A2), TypeVariable(A3), TypeVariable(A4), TypeVariable(A5), TypeVariable(A6), TypeVariable(A7), TypeVariable(A8), TypeVariable(A9)) -> TypeVariable(R)` |
| 4. Combine `TypeVariable(T) == (kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String) -> kotlin/String` with `TypeVariable(T) <: (kotlin/String, TypeVariable(A2), TypeVariable(A3), TypeVariable(A4), TypeVariable(A5), TypeVariable(A6), TypeVariable(A7), TypeVariable(A8), TypeVariable(A9)) -> TypeVariable(R)` |
| 1. `TypeVariable(A2) <: kotlin/String` |
| 2. `TypeVariable(A3) <: kotlin/String` |
| 3. `TypeVariable(A4) <: kotlin/String` |
| 4. `TypeVariable(A5) <: kotlin/String` |
| 5. `TypeVariable(A6) <: kotlin/String` |
| 6. `TypeVariable(A7) <: kotlin/String` |
| 7. `TypeVariable(A8) <: kotlin/String` |
| 8. `TypeVariable(A9) <: kotlin/String` |
| 9. `kotlin/String <: TypeVariable(R)` |
| 5. Choose `TypeVariable(A2)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 1. `TypeVariable(T)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 2. `TypeVariable(R)` 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 |
| false HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 3. `TypeVariable(A3)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 4. `TypeVariable(A4)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 5. `TypeVariable(A5)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 6. `TypeVariable(A6)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 7. `TypeVariable(A7)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 8. `TypeVariable(A8)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 9. `TypeVariable(A9)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 6. `TypeVariable(A2) == kotlin/String` _from Fix variable A2_ |
| 7. Combine `TypeVariable(A2) == kotlin/String` with `TypeVariable(T) <: (kotlin/String, TypeVariable(A2), TypeVariable(A3), TypeVariable(A4), TypeVariable(A5), TypeVariable(A6), TypeVariable(A7), TypeVariable(A8), TypeVariable(A9)) -> TypeVariable(R)` |
| 1. `TypeVariable(T) <: (kotlin/String, kotlin/String, TypeVariable(A3), TypeVariable(A4), TypeVariable(A5), TypeVariable(A6), TypeVariable(A7), TypeVariable(A8), TypeVariable(A9)) -> TypeVariable(R)` |
| 8. Choose `TypeVariable(A3)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 1. `TypeVariable(T)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 2. `TypeVariable(R)` 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 |
| false HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 3. `TypeVariable(A4)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 4. `TypeVariable(A5)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 5. `TypeVariable(A6)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 6. `TypeVariable(A7)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 7. `TypeVariable(A8)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 8. `TypeVariable(A9)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 9. `TypeVariable(A3) == kotlin/String` _from Fix variable A3_ |
| 10. Combine `TypeVariable(A3) == kotlin/String` with `TypeVariable(T) <: (kotlin/String, kotlin/String, TypeVariable(A3), TypeVariable(A4), TypeVariable(A5), TypeVariable(A6), TypeVariable(A7), TypeVariable(A8), TypeVariable(A9)) -> TypeVariable(R)` |
| 1. `TypeVariable(T) <: (kotlin/String, kotlin/String, kotlin/String, TypeVariable(A4), TypeVariable(A5), TypeVariable(A6), TypeVariable(A7), TypeVariable(A8), TypeVariable(A9)) -> TypeVariable(R)` |
| 11. Choose `TypeVariable(A4)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 1. `TypeVariable(T)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 2. `TypeVariable(R)` 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 |
| false HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 3. `TypeVariable(A5)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 4. `TypeVariable(A6)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 5. `TypeVariable(A7)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 6. `TypeVariable(A8)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 7. `TypeVariable(A9)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 12. `TypeVariable(A4) == kotlin/String` _from Fix variable A4_ |
| 13. Combine `TypeVariable(A4) == kotlin/String` with `TypeVariable(T) <: (kotlin/String, kotlin/String, kotlin/String, TypeVariable(A4), TypeVariable(A5), TypeVariable(A6), TypeVariable(A7), TypeVariable(A8), TypeVariable(A9)) -> TypeVariable(R)` |
| 1. `TypeVariable(T) <: (kotlin/String, kotlin/String, kotlin/String, kotlin/String, TypeVariable(A5), TypeVariable(A6), TypeVariable(A7), TypeVariable(A8), TypeVariable(A9)) -> TypeVariable(R)` |
| 14. Choose `TypeVariable(A5)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 1. `TypeVariable(T)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 2. `TypeVariable(R)` 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 |
| false HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 3. `TypeVariable(A6)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 4. `TypeVariable(A7)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 5. `TypeVariable(A8)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 6. `TypeVariable(A9)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 15. `TypeVariable(A5) == kotlin/String` _from Fix variable A5_ |
| 16. Combine `TypeVariable(A5) == kotlin/String` with `TypeVariable(T) <: (kotlin/String, kotlin/String, kotlin/String, kotlin/String, TypeVariable(A5), TypeVariable(A6), TypeVariable(A7), TypeVariable(A8), TypeVariable(A9)) -> TypeVariable(R)` |
| 1. `TypeVariable(T) <: (kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, TypeVariable(A6), TypeVariable(A7), TypeVariable(A8), TypeVariable(A9)) -> TypeVariable(R)` |
| 17. Choose `TypeVariable(A6)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 1. `TypeVariable(T)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 2. `TypeVariable(R)` 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 |
| false HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 3. `TypeVariable(A7)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 4. `TypeVariable(A8)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 5. `TypeVariable(A9)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 18. `TypeVariable(A6) == kotlin/String` _from Fix variable A6_ |
| 19. Combine `TypeVariable(A6) == kotlin/String` with `TypeVariable(T) <: (kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, TypeVariable(A6), TypeVariable(A7), TypeVariable(A8), TypeVariable(A9)) -> TypeVariable(R)` |
| 1. `TypeVariable(T) <: (kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, TypeVariable(A7), TypeVariable(A8), TypeVariable(A9)) -> TypeVariable(R)` |
| 20. Choose `TypeVariable(A7)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 1. `TypeVariable(T)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 2. `TypeVariable(R)` 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 |
| false HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 3. `TypeVariable(A8)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 4. `TypeVariable(A9)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 21. `TypeVariable(A7) == kotlin/String` _from Fix variable A7_ |
| 22. Combine `TypeVariable(A7) == kotlin/String` with `TypeVariable(T) <: (kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, TypeVariable(A7), TypeVariable(A8), TypeVariable(A9)) -> TypeVariable(R)` |
| 1. `TypeVariable(T) <: (kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, TypeVariable(A8), TypeVariable(A9)) -> TypeVariable(R)` |
| 23. Choose `TypeVariable(A8)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 1. `TypeVariable(T)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 2. `TypeVariable(R)` 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 |
| false HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 3. `TypeVariable(A9)` 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 |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 24. `TypeVariable(A8) == kotlin/String` _from Fix variable A8_ |
| 25. Combine `TypeVariable(A8) == kotlin/String` with `TypeVariable(T) <: (kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, TypeVariable(A8), TypeVariable(A9)) -> TypeVariable(R)` |
| 1. `TypeVariable(T) <: (kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, TypeVariable(A9)) -> TypeVariable(R)` |
| 26. Choose `TypeVariable(A9)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 1. `TypeVariable(T)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 2. `TypeVariable(R)` 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 |
| false HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 27. `TypeVariable(A9) == kotlin/String` _from Fix variable A9_ |
| 28. Combine `TypeVariable(A9) == kotlin/String` with `TypeVariable(T) <: (kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, TypeVariable(A9)) -> TypeVariable(R)` |
| 1. `TypeVariable(T) <: (kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String) -> TypeVariable(R)` |
| 29. Choose `TypeVariable(R)` 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 |
| false HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 1. `TypeVariable(T)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 30. `TypeVariable(R) == kotlin/String` _from Fix variable R_ |
| 31. Combine `TypeVariable(R) == kotlin/String` with `TypeVariable(T) <: (kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String) -> TypeVariable(R)` |
| 1. `TypeVariable(T) <: (kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String) -> kotlin/String` |
| 32. Choose `TypeVariable(T)` 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| )` |
| 33. `TypeVariable(T) == (kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String, kotlin/String) -> kotlin/String` _from Fix variable T_ |
