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 /invokes parameter 0
2. New TypeVariable(R) for FirNamedFunctionSymbol /invokes parameter 1
3. New TypeVariable(A1) for FirNamedFunctionSymbol /invokes parameter 2
4. New TypeVariable(A2) for FirNamedFunctionSymbol /invokes parameter 3
5. New TypeVariable(A3) for FirNamedFunctionSymbol /invokes parameter 4
6. New TypeVariable(A4) for FirNamedFunctionSymbol /invokes parameter 5
7. New TypeVariable(A5) for FirNamedFunctionSymbol /invokes parameter 6
8. New TypeVariable(A6) for FirNamedFunctionSymbol /invokes parameter 7
9. New TypeVariable(A7) for FirNamedFunctionSymbol /invokes parameter 8
10. New TypeVariable(A8) for FirNamedFunctionSymbol /invokes parameter 9
11. New TypeVariable(A9) for FirNamedFunctionSymbol /invokes 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|/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