Source session for module <main>

Call 1

mutableSetOf#<R|kotlin/Int|>()

Candidate 1: FirNamedFunctionSymbol kotlin/collections/mutableSetOf --- @SinceKotlin(...) @InlineOnly() fun <T> mutableSetOf(): MutableSet<T>↩

Resolution Stages > CreateFreshTypeVariableSubstitutorStage:

1. New TypeVariable(T) for FirNamedFunctionSymbol kotlin/collections/mutableSetOfs parameter 0
2. TypeVariable(T) == kotlin/Int from TypeParameter R|kotlin/Int|

Candidate 2: FirNamedFunctionSymbol kotlin/collections/mutableSetOf --- fun <T> mutableSetOf(vararg elements: T): MutableSet<T>↩

Resolution Stages > CreateFreshTypeVariableSubstitutorStage:

1. New TypeVariable(T) for FirNamedFunctionSymbol kotlin/collections/mutableSetOfs parameter 0
2. TypeVariable(T) == kotlin/Int from TypeParameter R|kotlin/Int|

Some compareCallsByUsedArguments() call:

1. New TypeVariable(T) for FirNamedFunctionSymbol kotlin/collections/mutableSetOfs parameter 0
2. TypeVariable(T) <: kotlin/Any? from SimpleConstraintSystemConstraintPosition

Some compareCallsByUsedArguments() call:

1. New TypeVariable(T) for FirNamedFunctionSymbol kotlin/collections/mutableSetOfs parameter 0
2. TypeVariable(T) <: kotlin/Any? from SimpleConstraintSystemConstraintPosition

Call 1

mutableSetOf#<R|kotlin/Int|>()

Candidate 1: FirNamedFunctionSymbol kotlin/collections/mutableSetOf --- @SinceKotlin(...) @InlineOnly() fun <T> mutableSetOf(): MutableSet<T>↩

Call Completion:

1. 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 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(T) == kotlin/Int from Fix variable T

Call 2

Q|Wrapper|.reverseOrder#()

Candidate 1: FirNamedFunctionSymbol /Wrapper.reverseOrder --- static fun <W : Comparable<in W!>!> reverseOrder(): Comparator<W!>!↩

Resolution Stages > CreateFreshTypeVariableSubstitutorStage:

1. New TypeVariable(W) for FirNamedFunctionSymbol /Wrapper.reverseOrders parameter 0
2. TypeVariable(W) <: kotlin/Comparable<in TypeVariable(W)!>! from DeclaredUpperBound

Call Completion:

1. Choose TypeVariable(W) with Readiness( false ALLOWED false HAS_PROPER_CONSTRAINTS false HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES false HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT false HAS_PROPER_NON_ILT_CONSTRAINT false HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT false HAS_PROPER_EQUALITY_CONSTRAINT false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT )

Call 3

TreeSet#(Q|Wrapper|.R?C|/Wrapper.reverseOrder|())

Candidate 1: FirConstructorSymbol java/util/TreeSet.TreeSet --- constructor<E : Any!>(p0: Comparator<in E!>!): TreeSet<E>

Resolution Stages > CreateFreshTypeVariableSubstitutorStage:

1. New TypeVariable(E) for FirRegularClassSymbol java/util/TreeSets parameter 0

Resolution Stages > CheckArguments:

1. java/util/Comparator<TypeVariable(W)!>! <: java/util/Comparator<in TypeVariable(E)!>! from SimpleConstraintSystemConstraintPosition
   1. ft<TypeVariable(E) & Any, TypeVariable(E)?> <: TypeVariable(W)
   2. TypeVariable(E) <: TypeVariable(W)!
2. Combine ft<TypeVariable(E) & Any, TypeVariable(E)?> <: TypeVariable(W) with TypeVariable(W) <: kotlin/Comparable<in TypeVariable(W)!>!
   1. TypeVariable(E) <: kotlin/Comparable<in TypeVariable(W)!>?
   2. TypeVariable(W) <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>!
3. Combine ft<TypeVariable(E) & Any, TypeVariable(E)?> <: TypeVariable(W) with TypeVariable(W) <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>!
   1. TypeVariable(E) <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>?

Candidate 2: FirConstructorSymbol java/util/TreeSet.TreeSet --- constructor<E : Any!>(p0: ft<MutableCollection<out E!>, Collection<out E!>?>): TreeSet<E>

Resolution Stages > CreateFreshTypeVariableSubstitutorStage:

1. New TypeVariable(E) for FirRegularClassSymbol java/util/TreeSets parameter 0

Resolution Stages > CheckArguments:

1. java/util/Comparator<TypeVariable(W)!>! <: ft<kotlin/collections/MutableCollection<out TypeVariable(E)!>, kotlin/collections/Collection<out TypeVariable(E)!>?> from Argument Q|Wrapper|.R?C|/Wrapper.reverseOrder|()
2. NewConstraintError: java/util/Comparator<TypeVariable(W)!>! <: ft<kotlin/collections/MutableCollection<out TypeVariable(E)!>, kotlin/collections/Collection<out TypeVariable(E)!>?>

Candidate 3: FirConstructorSymbol java/util/TreeSet.TreeSet --- constructor<E : Any!>(p0: SortedSet<E!>!): TreeSet<E>

Resolution Stages > CreateFreshTypeVariableSubstitutorStage:

1. New TypeVariable(E) for FirRegularClassSymbol java/util/TreeSets parameter 0

Resolution Stages > CheckArguments:

1. java/util/Comparator<TypeVariable(W)!>! <: java/util/SortedSet<TypeVariable(E)!>! from Argument Q|Wrapper|.R?C|/Wrapper.reverseOrder|()
2. NewConstraintError: java/util/Comparator<TypeVariable(W)!>! <: java/util/SortedSet<TypeVariable(E)!>!

Candidate 1: FirConstructorSymbol java/util/TreeSet.TreeSet --- constructor<E : Any!>(p0: Comparator<in E!>!): TreeSet<E>

Call Completion:

1. Choose TypeVariable(E) with Readiness( false ALLOWED false HAS_PROPER_CONSTRAINTS false HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES false HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT false HAS_PROPER_NON_ILT_CONSTRAINT false HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT false HAS_PROPER_EQUALITY_CONSTRAINT false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT )
   1. TypeVariable(W) is Readiness( false ALLOWED false HAS_PROPER_CONSTRAINTS false HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES false HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT false HAS_PROPER_NON_ILT_CONSTRAINT false HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT false HAS_PROPER_EQUALITY_CONSTRAINT false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT )

Call 4

R|<local>/fragments|.flatMapTo#(R?C|java/util/TreeSet.TreeSet|(Q|Wrapper|.R?C|/Wrapper.reverseOrder|()), <L> = flatMapTo@fun <implicit>.<anonymous>(f: <implicit>): <implicit> <inline=Unknown>  {
    f#.tailsAndBody#
}
)

Candidate 1: FirNamedFunctionSymbol kotlin/collections/flatMapTo --- @IgnorableReturnValue() fun <T, R, C : MutableCollection<in R>> Iterable<T>.flatMapTo(destination: C, transform: (T) -> Iterable<R>): C↩

Resolution Stages > CreateFreshTypeVariableSubstitutorStage:

1. New TypeVariable(T) for FirNamedFunctionSymbol kotlin/collections/flatMapTos parameter 0
2. New TypeVariable(R) for FirNamedFunctionSymbol kotlin/collections/flatMapTos parameter 1
3. New TypeVariable(C) for FirNamedFunctionSymbol kotlin/collections/flatMapTos parameter 2
4. TypeVariable(C) <: kotlin/collections/MutableCollection<in TypeVariable(R)> from DeclaredUpperBound

Resolution Stages > CheckExtensionReceiver:

1. kotlin/collections/Set<MergeFragment> <: kotlin/collections/Iterable<TypeVariable(T)> from Receiver R|/fragments|
   1. MergeFragment <: TypeVariable(T)

Resolution Stages > CheckArguments:

1. java/util/TreeSet<TypeVariable(E)> <: TypeVariable(C) from Argument R?C|java/util/TreeSet.TreeSet|(Q|Wrapper|.R?C|/Wrapper.reverseOrder|())
2. Combine java/util/TreeSet<TypeVariable(E)> <: TypeVariable(C) with TypeVariable(C) <: kotlin/collections/MutableCollection<in TypeVariable(R)>
   1. TypeVariable(R) <: TypeVariable(E)
3. Combine TypeVariable(R) <: TypeVariable(E) with TypeVariable(E) <: TypeVariable(W)!
   1. TypeVariable(R)! <: TypeVariable(W)
   2. TypeVariable(R) <: TypeVariable(W)!
4. Combine TypeVariable(R) <: TypeVariable(E) with TypeVariable(E) <: kotlin/Comparable<in TypeVariable(W)!>?
   1. TypeVariable(R) <: kotlin/Comparable<in TypeVariable(W)!>?
5. Combine TypeVariable(R) <: TypeVariable(E) with TypeVariable(E) <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>?
   1. TypeVariable(R) <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>?
6. Combine TypeVariable(R) <: TypeVariable(E) with ft<TypeVariable(E) & Any, TypeVariable(E)?> <: TypeVariable(W)
   1. ft<TypeVariable(R) & Any, TypeVariable(R)?> <: TypeVariable(W)
7. Combine TypeVariable(R) <: TypeVariable(E) with TypeVariable(W) <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>!
   1. TypeVariable(W) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>!
8. Combine TypeVariable(R) <: TypeVariable(E) with TypeVariable(E) <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>?
   1. TypeVariable(E) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>?
9. Combine TypeVariable(R)! <: TypeVariable(W) with TypeVariable(W) <: kotlin/Comparable<in TypeVariable(W)!>!
   1. TypeVariable(R) <: kotlin/Comparable<in TypeVariable(W)!>!
10. Combine TypeVariable(R)! <: TypeVariable(W) with TypeVariable(W) <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>!
    1. TypeVariable(R) <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>!
11. Combine TypeVariable(R)! <: TypeVariable(W) with TypeVariable(W) <: kotlin/Comparable<in TypeVariable(W)!>!
    1. TypeVariable(W) <: kotlin/Comparable<TypeVariable(R)!>!
12. Combine TypeVariable(R)! <: TypeVariable(W) with TypeVariable(E) <: kotlin/Comparable<in TypeVariable(W)!>?
    1. TypeVariable(E) <: kotlin/Comparable<TypeVariable(R)!>?
13. Combine TypeVariable(R)! <: TypeVariable(W) with TypeVariable(W) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>!
    1. TypeVariable(R) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>!
14. Combine TypeVariable(R) <: TypeVariable(E) with TypeVariable(E) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>?
    1. TypeVariable(R) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>?
15. Combine TypeVariable(R)! <: TypeVariable(W) with TypeVariable(W) <: kotlin/Comparable<TypeVariable(R)!>!
    1. TypeVariable(R) <: kotlin/Comparable<TypeVariable(R)!>!
16. Combine TypeVariable(R) <: TypeVariable(E) with TypeVariable(E) <: kotlin/Comparable<TypeVariable(R)!>?
    1. TypeVariable(R) <: kotlin/Comparable<TypeVariable(R)!>?
17. (TypeVariable(T)) -> kotlin/collections/Iterable<TypeVariable(R)> <: (TypeVariable(T)) -> kotlin/collections/Iterable<TypeVariable(R)> from Argument = flatMapTo .(f: ): <inline=Unknown> {↩ f#.tailsAndBody#↩}↩

Candidate 2: FirNamedFunctionSymbol kotlin/collections/flatMapTo --- @SinceKotlin(...) @OverloadResolutionByLambdaReturnType() @JvmName(...) @IgnorableReturnValue() fun <T, R, C : MutableCollection<in R>> Iterable<T>.flatMapTo(destination: C, transform: (T) -> Sequence<R>): C↩

Resolution Stages > CreateFreshTypeVariableSubstitutorStage:

1. New TypeVariable(T) for FirNamedFunctionSymbol kotlin/collections/flatMapTos parameter 0
2. New TypeVariable(R) for FirNamedFunctionSymbol kotlin/collections/flatMapTos parameter 1
3. New TypeVariable(C) for FirNamedFunctionSymbol kotlin/collections/flatMapTos parameter 2
4. TypeVariable(C) <: kotlin/collections/MutableCollection<in TypeVariable(R)> from DeclaredUpperBound

Resolution Stages > CheckExtensionReceiver:

1. kotlin/collections/Set<MergeFragment> <: kotlin/collections/Iterable<TypeVariable(T)> from Receiver R|/fragments|
   1. MergeFragment <: TypeVariable(T)

Resolution Stages > CheckArguments:

1. java/util/TreeSet<TypeVariable(E)> <: TypeVariable(C) from Argument R?C|java/util/TreeSet.TreeSet|(Q|Wrapper|.R?C|/Wrapper.reverseOrder|())
2. Combine java/util/TreeSet<TypeVariable(E)> <: TypeVariable(C) with TypeVariable(C) <: kotlin/collections/MutableCollection<in TypeVariable(R)>
   1. TypeVariable(R) <: TypeVariable(E)
3. Combine TypeVariable(R) <: TypeVariable(E) with TypeVariable(E) <: TypeVariable(W)!
   1. TypeVariable(R)! <: TypeVariable(W)
   2. TypeVariable(R) <: TypeVariable(W)!
4. Combine TypeVariable(R) <: TypeVariable(E) with TypeVariable(E) <: kotlin/Comparable<in TypeVariable(W)!>?
   1. TypeVariable(R) <: kotlin/Comparable<in TypeVariable(W)!>?
5. Combine TypeVariable(R) <: TypeVariable(E) with TypeVariable(E) <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>?
   1. TypeVariable(R) <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>?
6. Combine TypeVariable(R) <: TypeVariable(E) with ft<TypeVariable(E) & Any, TypeVariable(E)?> <: TypeVariable(W)
   1. ft<TypeVariable(R) & Any, TypeVariable(R)?> <: TypeVariable(W)
7. Combine TypeVariable(R) <: TypeVariable(E) with TypeVariable(W) <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>!
   1. TypeVariable(W) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>!
8. Combine TypeVariable(R) <: TypeVariable(E) with TypeVariable(E) <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>?
   1. TypeVariable(E) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>?
9. Combine TypeVariable(R)! <: TypeVariable(W) with TypeVariable(W) <: kotlin/Comparable<in TypeVariable(W)!>!
   1. TypeVariable(R) <: kotlin/Comparable<in TypeVariable(W)!>!
10. Combine TypeVariable(R)! <: TypeVariable(W) with TypeVariable(W) <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>!
    1. TypeVariable(R) <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>!
11. Combine TypeVariable(R)! <: TypeVariable(W) with TypeVariable(W) <: kotlin/Comparable<in TypeVariable(W)!>!
    1. TypeVariable(W) <: kotlin/Comparable<TypeVariable(R)!>!
12. Combine TypeVariable(R)! <: TypeVariable(W) with TypeVariable(E) <: kotlin/Comparable<in TypeVariable(W)!>?
    1. TypeVariable(E) <: kotlin/Comparable<TypeVariable(R)!>?
13. Combine TypeVariable(R)! <: TypeVariable(W) with TypeVariable(W) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>!
    1. TypeVariable(R) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>!
14. Combine TypeVariable(R) <: TypeVariable(E) with TypeVariable(E) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>?
    1. TypeVariable(R) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>?
15. Combine TypeVariable(R)! <: TypeVariable(W) with TypeVariable(W) <: kotlin/Comparable<TypeVariable(R)!>!
    1. TypeVariable(R) <: kotlin/Comparable<TypeVariable(R)!>!
16. Combine TypeVariable(R) <: TypeVariable(E) with TypeVariable(E) <: kotlin/Comparable<TypeVariable(R)!>?
    1. TypeVariable(R) <: kotlin/Comparable<TypeVariable(R)!>?
17. (TypeVariable(T)) -> kotlin/sequences/Sequence<TypeVariable(R)> <: (TypeVariable(T)) -> kotlin/sequences/Sequence<TypeVariable(R)> from Argument = flatMapTo .(f: ): <inline=Unknown> {↩ f#.tailsAndBody#↩}↩

Some compareCallsByUsedArguments() call:

1. New TypeVariable(T) for FirNamedFunctionSymbol kotlin/collections/flatMapTos parameter 0
2. New TypeVariable(R) for FirNamedFunctionSymbol kotlin/collections/flatMapTos parameter 1
3. New TypeVariable(C) for FirNamedFunctionSymbol kotlin/collections/flatMapTos parameter 2
4. TypeVariable(T) <: kotlin/Any? from SimpleConstraintSystemConstraintPosition
5. TypeVariable(R) <: kotlin/Any? from SimpleConstraintSystemConstraintPosition
6. TypeVariable(C) <: kotlin/collections/MutableCollection<in TypeVariable(R)> from SimpleConstraintSystemConstraintPosition
7. kotlin/collections/Iterable<T> <: kotlin/collections/Iterable<TypeVariable(T)> from SimpleConstraintSystemConstraintPosition
   1. T <: TypeVariable(T)
8. C <: TypeVariable(C) from SimpleConstraintSystemConstraintPosition
9. Combine C <: TypeVariable(C) with TypeVariable(C) <: kotlin/collections/MutableCollection<in TypeVariable(R)>
   1. TypeVariable(R) <: R
10. (T) -> kotlin/collections/Iterable<R> <: (TypeVariable(T)) -> kotlin/sequences/Sequence<TypeVariable(R)> from SimpleConstraintSystemConstraintPosition
    1. TypeVariable(T) <: T
11. NewConstraintError: (T) -> kotlin/collections/Iterable<R> <: (TypeVariable(T)) -> kotlin/sequences/Sequence<TypeVariable(R)>
12. Combine T <: TypeVariable(T) with TypeVariable(T) <: T
    1. TypeVariable(T) == T

Some compareCallsByUsedArguments() call:

1. New TypeVariable(T) for FirNamedFunctionSymbol kotlin/collections/flatMapTos parameter 0
2. New TypeVariable(R) for FirNamedFunctionSymbol kotlin/collections/flatMapTos parameter 1
3. New TypeVariable(C) for FirNamedFunctionSymbol kotlin/collections/flatMapTos parameter 2
4. TypeVariable(T) <: kotlin/Any? from SimpleConstraintSystemConstraintPosition
5. TypeVariable(R) <: kotlin/Any? from SimpleConstraintSystemConstraintPosition
6. TypeVariable(C) <: kotlin/collections/MutableCollection<in TypeVariable(R)> from SimpleConstraintSystemConstraintPosition
7. kotlin/collections/Iterable<T> <: kotlin/collections/Iterable<TypeVariable(T)> from SimpleConstraintSystemConstraintPosition
   1. T <: TypeVariable(T)
8. C <: TypeVariable(C) from SimpleConstraintSystemConstraintPosition
9. Combine C <: TypeVariable(C) with TypeVariable(C) <: kotlin/collections/MutableCollection<in TypeVariable(R)>
   1. TypeVariable(R) <: R
10. (T) -> kotlin/sequences/Sequence<R> <: (TypeVariable(T)) -> kotlin/collections/Iterable<TypeVariable(R)> from SimpleConstraintSystemConstraintPosition
    1. TypeVariable(T) <: T
11. NewConstraintError: (T) -> kotlin/sequences/Sequence<R> <: (TypeVariable(T)) -> kotlin/collections/Iterable<TypeVariable(R)>
12. Combine T <: TypeVariable(T) with TypeVariable(T) <: T
    1. TypeVariable(T) == T

Call 4

R|<local>/fragments|.flatMapTo#(R?C|java/util/TreeSet.TreeSet|(Q|Wrapper|.R?C|/Wrapper.reverseOrder|()), <L> = flatMapTo@fun <implicit>.<anonymous>(f: <implicit>): <implicit> <inline=Unknown>  {
    f#.tailsAndBody#
}
)

Candidate 1: FirNamedFunctionSymbol kotlin/collections/flatMapTo --- @IgnorableReturnValue() fun <T, R, C : MutableCollection<in R>> Iterable<T>.flatMapTo(destination: C, transform: (T) -> Iterable<R>): C↩

Call Completion:

1. 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 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(R) is Readiness( true ALLOWED false HAS_PROPER_CONSTRAINTS true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES false HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT false HAS_PROPER_NON_ILT_CONSTRAINT true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT false HAS_PROPER_EQUALITY_CONSTRAINT false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT )
   2. TypeVariable(C) is Readiness( true ALLOWED false HAS_PROPER_CONSTRAINTS true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES false HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT false HAS_PROPER_NON_ILT_CONSTRAINT true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT false HAS_PROPER_EQUALITY_CONSTRAINT false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT )
   3. TypeVariable(E) is Readiness( true ALLOWED false HAS_PROPER_CONSTRAINTS true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES false HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT false HAS_PROPER_NON_ILT_CONSTRAINT true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT false HAS_PROPER_EQUALITY_CONSTRAINT false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT )
   4. TypeVariable(W) is Readiness( true ALLOWED false HAS_PROPER_CONSTRAINTS true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES false HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT false HAS_PROPER_NON_ILT_CONSTRAINT true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT false HAS_PROPER_EQUALITY_CONSTRAINT false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT )
2. TypeVariable(T) == MergeFragment from Fix variable T

Candidate 2: FirNamedFunctionSymbol kotlin/collections/flatMapTo --- @SinceKotlin(...) @OverloadResolutionByLambdaReturnType() @JvmName(...) @IgnorableReturnValue() fun <T, R, C : MutableCollection<in R>> Iterable<T>.flatMapTo(destination: C, transform: (T) -> Sequence<R>): C↩

Call Completion:

1. 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 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(R) is Readiness( true ALLOWED false HAS_PROPER_CONSTRAINTS true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES false HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT false HAS_PROPER_NON_ILT_CONSTRAINT true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT false HAS_PROPER_EQUALITY_CONSTRAINT false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT )
   2. TypeVariable(C) is Readiness( true ALLOWED false HAS_PROPER_CONSTRAINTS true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES false HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT false HAS_PROPER_NON_ILT_CONSTRAINT true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT false HAS_PROPER_EQUALITY_CONSTRAINT false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT )
   3. TypeVariable(E) is Readiness( true ALLOWED false HAS_PROPER_CONSTRAINTS true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES false HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT false HAS_PROPER_NON_ILT_CONSTRAINT true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT false HAS_PROPER_EQUALITY_CONSTRAINT false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT )
   4. TypeVariable(W) is Readiness( true ALLOWED false HAS_PROPER_CONSTRAINTS true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES false HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT false HAS_PROPER_NON_ILT_CONSTRAINT true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT false HAS_PROPER_EQUALITY_CONSTRAINT false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT )
2. TypeVariable(T) == MergeFragment from Fix variable T

Candidate 1: FirNamedFunctionSymbol kotlin/collections/flatMapTo --- @IgnorableReturnValue() fun <T, R, C : MutableCollection<in R>> Iterable<T>.flatMapTo(destination: C, transform: (T) -> Iterable<R>): C↩

Continue Call Completion:

1. New TypeVariable(_R) for lambda return type
2. (MergeFragment) -> TypeVariable(_R) <: (MergeFragment) -> kotlin/collections/Iterable<TypeVariable(R)> from Argument flatMapTo .(f: ): <inline=Unknown> {↩ f#.tailsAndBody#↩}↩
   1. TypeVariable(_R) <: kotlin/collections/Iterable<TypeVariable(R)>

Candidate 2: FirNamedFunctionSymbol kotlin/collections/flatMapTo --- @SinceKotlin(...) @OverloadResolutionByLambdaReturnType() @JvmName(...) @IgnorableReturnValue() fun <T, R, C : MutableCollection<in R>> Iterable<T>.flatMapTo(destination: C, transform: (T) -> Sequence<R>): C↩

Continue Call Completion:

1. New TypeVariable(_R) for lambda return type
2. (MergeFragment) -> TypeVariable(_R) <: (MergeFragment) -> kotlin/sequences/Sequence<TypeVariable(R)> from Argument flatMapTo .(f: ): <inline=Unknown> {↩ f#.tailsAndBody#↩}↩
   1. TypeVariable(_R) <: kotlin/sequences/Sequence<TypeVariable(R)>

Candidate 1: FirNamedFunctionSymbol kotlin/collections/flatMapTo --- @IgnorableReturnValue() fun <T, R, C : MutableCollection<in R>> Iterable<T>.flatMapTo(destination: C, transform: (T) -> Iterable<R>): C↩

Continue Continue Call Completion:

1. kotlin/collections/MutableSet<kotlin/Int> <: TypeVariable(_R) from LambdaArgument
2. Combine kotlin/collections/MutableSet<kotlin/Int> <: TypeVariable(_R) with TypeVariable(_R) <: kotlin/collections/Iterable<TypeVariable(R)>
   1. kotlin/Int <: TypeVariable(R)
3. Combine kotlin/Int <: TypeVariable(R) with TypeVariable(R) <: TypeVariable(E)
   1. kotlin/Int <: TypeVariable(E)
4. Combine kotlin/Int <: TypeVariable(R) with TypeVariable(R) <: TypeVariable(W)!
   1. kotlin/Int! <: TypeVariable(W)
5. Combine kotlin/Int <: TypeVariable(R) with TypeVariable(R) <: kotlin/Comparable<in TypeVariable(W)!>?
   1. TypeVariable(W) <: kotlin/Int!
6. Combine kotlin/Int <: TypeVariable(R) with TypeVariable(R) <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>?
   1. TypeVariable(E) <: kotlin/Int?
7. Combine kotlin/Int <: TypeVariable(R) with TypeVariable(R) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>!
   1. TypeVariable(R) <: kotlin/Int?
8. Combine kotlin/Int <: TypeVariable(R) with TypeVariable(R) <: kotlin/Comparable<TypeVariable(R)!>!
   1. TypeVariable(R) <: kotlin/Int!
9. Combine kotlin/Int <: TypeVariable(R) with TypeVariable(E) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>?
   1. TypeVariable(E) <: kotlin/Comparable<kotlin/Int!>?
10. Combine kotlin/Int <: TypeVariable(R) with TypeVariable(W) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>!
    1. TypeVariable(W) <: kotlin/Comparable<kotlin/Int!>!
11. Combine kotlin/Int <: TypeVariable(R) with TypeVariable(R) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>!
    1. TypeVariable(R) <: kotlin/Comparable<kotlin/Int!>!
12. Combine kotlin/Int <: TypeVariable(R) with TypeVariable(R) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>?
    1. TypeVariable(R) <: kotlin/Comparable<kotlin/Int!>?
13. Combine kotlin/Int! <: TypeVariable(W) with TypeVariable(W) <: kotlin/Int!
    1. TypeVariable(W) == kotlin/Int!
14. Combine TypeVariable(W) == kotlin/Int! with TypeVariable(W) <: kotlin/Comparable<in TypeVariable(W)!>!
    1. TypeVariable(W) <: kotlin/Comparable<in kotlin/Int!>!
15. Combine TypeVariable(W) == kotlin/Int! with TypeVariable(E) <: TypeVariable(W)!
    1. TypeVariable(E) <: kotlin/Int!
16. Combine TypeVariable(W) == kotlin/Int! with TypeVariable(E) <: kotlin/Comparable<in TypeVariable(W)!>?
    1. TypeVariable(E) <: kotlin/Comparable<in kotlin/Int!>?
17. Combine TypeVariable(W) == kotlin/Int! with TypeVariable(R) <: kotlin/Comparable<in TypeVariable(W)!>?
    1. TypeVariable(R) <: kotlin/Comparable<in kotlin/Int!>?
18. Combine TypeVariable(W) == kotlin/Int! with TypeVariable(R) <: kotlin/Comparable<in TypeVariable(W)!>!
    1. TypeVariable(R) <: kotlin/Comparable<in kotlin/Int!>!
19. Combine TypeVariable(R) <: kotlin/Int? with TypeVariable(_R) <: kotlin/collections/Iterable<TypeVariable(R)>
    1. TypeVariable(_R) <: kotlin/collections/Iterable<kotlin/Int?>
20. Combine TypeVariable(R) <: kotlin/Int! with TypeVariable(_R) <: kotlin/collections/Iterable<TypeVariable(R)>
    1. TypeVariable(_R) <: kotlin/collections/Iterable<kotlin/Int!>
21. Combine TypeVariable(R) <: kotlin/Comparable<in kotlin/Int!>? with TypeVariable(_R) <: kotlin/collections/Iterable<TypeVariable(R)>
    1. TypeVariable(_R) <: kotlin/collections/Iterable<kotlin/Comparable<in kotlin/Int!>?>
22. Combine TypeVariable(R) <: kotlin/Comparable<in kotlin/Int!>! with TypeVariable(_R) <: kotlin/collections/Iterable<TypeVariable(R)>
    1. TypeVariable(_R) <: kotlin/collections/Iterable<kotlin/Comparable<in kotlin/Int!>!>

Candidate 2: FirNamedFunctionSymbol kotlin/collections/flatMapTo --- @SinceKotlin(...) @OverloadResolutionByLambdaReturnType() @JvmName(...) @IgnorableReturnValue() fun <T, R, C : MutableCollection<in R>> Iterable<T>.flatMapTo(destination: C, transform: (T) -> Sequence<R>): C↩

Continue Continue Call Completion:

1. kotlin/collections/MutableSet<kotlin/Int> <: TypeVariable(_R) from LambdaArgument
2. NewConstraintError: kotlin/collections/MutableSet<kotlin/Int> <: kotlin/sequences/Sequence<TypeVariable(R)>

Candidate 1: FirNamedFunctionSymbol kotlin/collections/flatMapTo --- @IgnorableReturnValue() fun <T, R, C : MutableCollection<in R>> Iterable<T>.flatMapTo(destination: C, transform: (T) -> Iterable<R>): C↩

Call Completion:

1. Choose TypeVariable(W) 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 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 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(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 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 HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT true HAS_PROPER_NON_ILT_CONSTRAINT true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT false HAS_PROPER_EQUALITY_CONSTRAINT true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT )
   2. TypeVariable(C) is Readiness( true ALLOWED false HAS_PROPER_CONSTRAINTS true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES false HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT false HAS_PROPER_NON_ILT_CONSTRAINT true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT false HAS_PROPER_EQUALITY_CONSTRAINT false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT )
   3. TypeVariable(E) 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 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 )
   4. 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 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 HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT true HAS_PROPER_NON_ILT_CONSTRAINT true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT false HAS_PROPER_EQUALITY_CONSTRAINT true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT )
2. TypeVariable(W) == kotlin/Int! from Fix variable W
3. Combine ft<TypeVariable(E) & Any, TypeVariable(E)?> <: TypeVariable(W) with TypeVariable(W) == kotlin/Int!
   1. TypeVariable(E) <: kotlin/Int?
4. Combine TypeVariable(R)! <: TypeVariable(W) with TypeVariable(W) == kotlin/Int!
   1. TypeVariable(R) <: kotlin/Int!
5. Combine TypeVariable(W) == kotlin/Int! with TypeVariable(W) <: kotlin/Comparable<in TypeVariable(W)!>!
   1. TypeVariable(W) <: kotlin/Int!
6. Combine TypeVariable(W) == kotlin/Int! with TypeVariable(W) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>!
   1. TypeVariable(R) <: kotlin/Int?
7. Combine TypeVariable(W) == kotlin/Int! with TypeVariable(W) <: kotlin/Comparable<in TypeVariable(W)!>!
   1. TypeVariable(W) <: kotlin/Comparable<in kotlin/Int!>!
8. Combine TypeVariable(W) == kotlin/Int! with TypeVariable(E) <: TypeVariable(W)!
   1. TypeVariable(E) <: kotlin/Int!
9. Combine TypeVariable(W) == kotlin/Int! with TypeVariable(E) <: kotlin/Comparable<in TypeVariable(W)!>?
   1. TypeVariable(E) <: kotlin/Comparable<in kotlin/Int!>?
10. Combine TypeVariable(W) == kotlin/Int! with TypeVariable(R) <: kotlin/Comparable<in TypeVariable(W)!>?
    1. TypeVariable(R) <: kotlin/Comparable<in kotlin/Int!>?
11. Combine TypeVariable(W) == kotlin/Int! with TypeVariable(R) <: kotlin/Comparable<in TypeVariable(W)!>!
    1. TypeVariable(R) <: kotlin/Comparable<in kotlin/Int!>!
12. 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 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 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(C) is Readiness( true ALLOWED false HAS_PROPER_CONSTRAINTS true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES false HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT false HAS_PROPER_NON_ILT_CONSTRAINT true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT false HAS_PROPER_EQUALITY_CONSTRAINT false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT )
    2. TypeVariable(E) 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 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(_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 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 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 )
13. TypeVariable(R) == kotlin/Int from Fix variable R
14. Combine TypeVariable(R) == kotlin/Int with TypeVariable(R) <: TypeVariable(E)
    1. kotlin/Int <: TypeVariable(E)
15. Combine TypeVariable(R) == kotlin/Int with TypeVariable(C) <: kotlin/collections/MutableCollection<in TypeVariable(R)>
    1. TypeVariable(C) <: kotlin/collections/MutableCollection<in kotlin/Int>
16. Combine TypeVariable(R) == kotlin/Int with TypeVariable(E) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>?
    1. TypeVariable(E) <: kotlin/Comparable<kotlin/Int!>?
17. Combine TypeVariable(R) == kotlin/Int with TypeVariable(R) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>!
    1. TypeVariable(R) <: kotlin/Comparable<kotlin/Int!>!
18. Combine TypeVariable(R) == kotlin/Int with TypeVariable(R) <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>?
    1. TypeVariable(R) <: kotlin/Comparable<kotlin/Int!>?
19. Combine TypeVariable(R) == kotlin/Int with TypeVariable(_R) <: kotlin/collections/Iterable<TypeVariable(R)>
    1. TypeVariable(_R) <: kotlin/collections/Iterable<kotlin/Int>
20. Choose TypeVariable(E) 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 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(C) 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 HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT true HAS_PROPER_NON_ILT_CONSTRAINT true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT false HAS_PROPER_EQUALITY_CONSTRAINT false 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 true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND 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 )
21. TypeVariable(E) == kotlin/Int from Fix variable E
22. Combine TypeVariable(E) == kotlin/Int with java/util/TreeSet<TypeVariable(E)> <: TypeVariable(C)
    1. java/util/TreeSet<kotlin/Int> <: TypeVariable(C)
23. Choose TypeVariable(C) 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 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(_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 true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND 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 )
24. TypeVariable(C) == java/util/TreeSet<kotlin/Int> from Fix variable C
25. 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 true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND 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 )
26. TypeVariable(_R) == kotlin/collections/MutableSet<kotlin/Int> _from Fix variable R

Call 5

R|<local>/<iterator>|.hasNext#()

Candidate 1: FirNamedFunctionSymbol kotlin/collections/MutableIterator.hasNext --- fun hasNext(): Boolean↩

Resolution Stages > CheckLambdaAgainstTypeVariableContradiction:

1. kotlin/Boolean <: kotlin/Boolean from ExpectedType for some call

Call 6

testFun#(R|<local>/f|)

Candidate 1: FirNamedFunctionSymbol /testFun --- fun testFun(i: Int): Unit↩

Resolution Stages > CheckArguments:

1. kotlin/Int <: kotlin/Int from Argument R|/f|