| ## `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/mutableSetOf`s 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/mutableSetOf`s parameter 0 | |
| 2. `TypeVariable(T) == kotlin/Int` _from TypeParameter R|kotlin/Int|_ | |
| ##### Some compareCallsByUsedArguments() call: | |
| 1. New `TypeVariable(T)` for `FirNamedFunctionSymbol kotlin/collections/mutableSetOf`s parameter 0 | |
| 2. `TypeVariable(T) <: kotlin/Any?` _from SimpleConstraintSystemConstraintPosition_ | |
| ##### Some compareCallsByUsedArguments() call: | |
| 1. New `TypeVariable(T)` for `FirNamedFunctionSymbol kotlin/collections/mutableSetOf`s 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 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(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.reverseOrder`s 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 REIFIED | |
| 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/TreeSet`s parameter 0 | |
| ##### Resolution Stages > CheckArguments: | |
| 1. `java/util/Comparator<TypeVariable(W)!>! <: java/util/Comparator<in TypeVariable(E)!>!` _from Argument Q|Wrapper|.R?C|/Wrapper.reverseOrder|()_ | |
| 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)!>?` | |
| #### 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/TreeSet`s parameter 0 | |
| #### 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/TreeSet`s parameter 0 | |
| #### 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 REIFIED | |
| 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 REIFIED | |
| 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/flatMapTo`s parameter 0 | |
| 2. New `TypeVariable(R)` for `FirNamedFunctionSymbol kotlin/collections/flatMapTo`s parameter 1 | |
| 3. New `TypeVariable(C)` for `FirNamedFunctionSymbol kotlin/collections/flatMapTo`s 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|<local>/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(W)` with `TypeVariable(W) <: kotlin/Comparable<in TypeVariable(W)!>!` | |
| 1. `TypeVariable(R) <: kotlin/Comparable<in TypeVariable(W)!>!` | |
| 6. `(TypeVariable(T)) -> kotlin/collections/Iterable<TypeVariable(R)> <: (TypeVariable(T)) -> kotlin/collections/Iterable<TypeVariable(R)>` _from Argument <L> = flatMapTo <implicit>.<anonymous>(f: <implicit>): <implicit> <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/flatMapTo`s parameter 0 | |
| 2. New `TypeVariable(R)` for `FirNamedFunctionSymbol kotlin/collections/flatMapTo`s parameter 1 | |
| 3. New `TypeVariable(C)` for `FirNamedFunctionSymbol kotlin/collections/flatMapTo`s 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|<local>/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(W)` with `TypeVariable(W) <: kotlin/Comparable<in TypeVariable(W)!>!` | |
| 1. `TypeVariable(R) <: kotlin/Comparable<in TypeVariable(W)!>!` | |
| 6. `(TypeVariable(T)) -> kotlin/sequences/Sequence<TypeVariable(R)> <: (TypeVariable(T)) -> kotlin/sequences/Sequence<TypeVariable(R)>` _from Argument <L> = flatMapTo <implicit>.<anonymous>(f: <implicit>): <implicit> <inline=Unknown> {↩ f#.tailsAndBody#↩}↩_ | |
| ##### Some compareCallsByUsedArguments() call: | |
| 1. New `TypeVariable(T)` for `FirNamedFunctionSymbol kotlin/collections/flatMapTo`s parameter 0 | |
| 2. New `TypeVariable(R)` for `FirNamedFunctionSymbol kotlin/collections/flatMapTo`s parameter 1 | |
| 3. New `TypeVariable(C)` for `FirNamedFunctionSymbol kotlin/collections/flatMapTo`s 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/flatMapTo`s parameter 0 | |
| 2. New `TypeVariable(R)` for `FirNamedFunctionSymbol kotlin/collections/flatMapTo`s parameter 1 | |
| 3. New `TypeVariable(C)` for `FirNamedFunctionSymbol kotlin/collections/flatMapTo`s 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 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(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 REIFIED | |
| 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 REIFIED | |
| 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 REIFIED | |
| 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 REIFIED | |
| 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. 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 | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 3. `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 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(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 REIFIED | |
| 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 REIFIED | |
| 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 REIFIED | |
| 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 REIFIED | |
| 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. 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 | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 3. `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 <implicit>.<anonymous>(f: <implicit>): <implicit> <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 <implicit>.<anonymous>(f: <implicit>): <implicit> <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(W)` with `TypeVariable(W) <: kotlin/Int!` | |
| 1. `TypeVariable(W) == kotlin/Int!` | |
| 7. Combine `ft<TypeVariable(E) & Any, TypeVariable(E)?> <: TypeVariable(W)` with `TypeVariable(W) == kotlin/Int!` | |
| 1. `TypeVariable(E) <: kotlin/Int?` | |
| 8. Combine `TypeVariable(R)! <: TypeVariable(W)` with `TypeVariable(W) == kotlin/Int!` | |
| 1. `TypeVariable(R) <: kotlin/Int!` | |
| 9. Combine `TypeVariable(R) <: TypeVariable(E)` with `TypeVariable(E) <: kotlin/Int?` | |
| 1. `TypeVariable(R) <: kotlin/Int?` | |
| ##### 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 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(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 REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 2. `TypeVariable(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 REIFIED | |
| 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 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 | |
| )` | |
| 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 REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 2. `TypeVariable(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. `TypeVariable(E) <: kotlin/Int!` _from Fix variable W_ | |
| 7. `TypeVariable(E) <: kotlin/Comparable<in kotlin/Int!>?` _from Fix variable W_ | |
| 8. Combine `TypeVariable(R) <: TypeVariable(E)` with `TypeVariable(E) <: kotlin/Comparable<in kotlin/Int!>?` | |
| 1. `TypeVariable(R) <: kotlin/Comparable<in kotlin/Int!>?` | |
| 9. `TypeVariable(R) <: kotlin/Comparable<in kotlin/Int!>!` _from Fix variable W_ | |
| 10. 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 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(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 REIFIED | |
| 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 | |
| true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS | |
| true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND | |
| false REIFIED | |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT | |
| true HAS_PROPER_NON_ILT_CONSTRAINT | |
| true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT | |
| false HAS_PROPER_EQUALITY_CONSTRAINT | |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT | |
| )` | |
| 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 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 | |
| )` | |
| 11. `TypeVariable(R) == kotlin/Int` _from Fix variable R_ | |
| 12. Combine `TypeVariable(R) == kotlin/Int` with `TypeVariable(R) <: TypeVariable(E)` | |
| 1. `kotlin/Int <: TypeVariable(E)` | |
| 13. `TypeVariable(C) <: kotlin/collections/MutableCollection<in kotlin/Int>` _from Fix variable R_ | |
| 14. `TypeVariable(_R) <: kotlin/collections/Iterable<kotlin/Int>` _from Fix variable R_ | |
| 15. 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 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(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 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 | |
| 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 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 | |
| )` | |
| 16. `TypeVariable(E) == kotlin/Int` _from Fix variable E_ | |
| 17. `java/util/TreeSet<kotlin/Int> <: TypeVariable(C)` _from Fix variable E_ | |
| 18. 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 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(_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 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 | |
| )` | |
| 19. `TypeVariable(C) == java/util/TreeSet<kotlin/Int>` _from Fix variable C_ | |
| 20. 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 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 | |
| )` | |
| 21. `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|<local>/f|_ |