compiler/fir/analysis-tests/testData/resolveWithStdlib/flatMapWithReverseOrder.fixation.txt

CHOSEN for fixation: TypeVariable(T) --- Readiness(
    	 true ALLOWED
    	 true HAS_PROPER_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
    )
     = kotlin/Int
    FIXED TO: kotlin/Int
********************************
CHOSEN for fixation: TypeVariable(W) --- 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
    )
     <: kotlin/Comparable<in TypeVariable(W)!>!
********************************
CHOSEN for fixation: TypeVariable(E) --- 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
    )
     <: TypeVariable(W)!
     <: kotlin/Comparable<in TypeVariable(W)!>?
     <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>?
TypeVariable(W) --- 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
    )
     <: kotlin/Comparable<in TypeVariable(W)!>!
     >: ft<TypeVariable(E) & Any, TypeVariable(E)?>
     <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>!
********************************
CHOSEN for fixation: TypeVariable(T) --- Readiness(
    	 true ALLOWED
    	 true HAS_PROPER_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
    )
     >: MergeFragment
     = MergeFragment (inferred during fixation)
    FIXED TO: MergeFragment
TypeVariable(R) --- 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
    )
     <: TypeVariable(E)
     <: TypeVariable(W)!
     <: kotlin/Comparable<in TypeVariable(W)!>?
     <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>?
     <: kotlin/Comparable<in TypeVariable(W)!>!
     <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>!
     <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>!
     <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>?
     <: kotlin/Comparable<TypeVariable(R)!>!
     <: kotlin/Comparable<TypeVariable(R)!>?
TypeVariable(C) --- 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
    )
     <: kotlin/collections/MutableCollection<in TypeVariable(R)>
     >: java/util/TreeSet<TypeVariable(E)>
TypeVariable(E) --- 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
    )
     <: TypeVariable(W)!
     <: kotlin/Comparable<in TypeVariable(W)!>?
     <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>?
     >: TypeVariable(R)
     <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>?
     <: kotlin/Comparable<TypeVariable(R)!>?
TypeVariable(W) --- 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
    )
     <: kotlin/Comparable<in TypeVariable(W)!>!
     >: ft<TypeVariable(E) & Any, TypeVariable(E)?>
     <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>!
     >: TypeVariable(R)!
     <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>!
     <: kotlin/Comparable<TypeVariable(R)!>!
********************************
CHOSEN for fixation: TypeVariable(T) --- Readiness(
    	 true ALLOWED
    	 true HAS_PROPER_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
    )
     >: MergeFragment
     = MergeFragment (inferred during fixation)
    FIXED TO: MergeFragment
TypeVariable(R) --- 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
    )
     <: TypeVariable(E)
     <: TypeVariable(W)!
     <: kotlin/Comparable<in TypeVariable(W)!>?
     <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>?
     <: kotlin/Comparable<in TypeVariable(W)!>!
     <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>!
     <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>!
     <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>?
     <: kotlin/Comparable<TypeVariable(R)!>!
     <: kotlin/Comparable<TypeVariable(R)!>?
TypeVariable(C) --- 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
    )
     <: kotlin/collections/MutableCollection<in TypeVariable(R)>
     >: java/util/TreeSet<TypeVariable(E)>
TypeVariable(E) --- 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
    )
     <: TypeVariable(W)!
     <: kotlin/Comparable<in TypeVariable(W)!>?
     <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>?
     >: TypeVariable(R)
     <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>?
     <: kotlin/Comparable<TypeVariable(R)!>?
TypeVariable(W) --- 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
    )
     <: kotlin/Comparable<in TypeVariable(W)!>!
     >: ft<TypeVariable(E) & Any, TypeVariable(E)?>
     <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>!
     >: TypeVariable(R)!
     <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>!
     <: kotlin/Comparable<TypeVariable(R)!>!
********************************
CHOSEN for fixation: TypeVariable(W) --- Readiness(
    	 true ALLOWED
    	 true HAS_PROPER_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
    )
     <: kotlin/Comparable<in TypeVariable(W)!>!
     >: ft<TypeVariable(E) & Any, TypeVariable(E)?>
     <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>!
     >: TypeVariable(R)!
     <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>!
     <: kotlin/Comparable<TypeVariable(R)!>!
     = kotlin/Int!
     <: kotlin/Comparable<kotlin/Int!>!
     <: kotlin/Comparable<in kotlin/Int!>!
    FIXED TO: kotlin/Int!
TypeVariable(R) --- Readiness(
    	 true ALLOWED
    	 true HAS_PROPER_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
    )
     <: TypeVariable(E)
     <: TypeVariable(W)!
     <: kotlin/Comparable<in TypeVariable(W)!>?
     <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>?
     <: kotlin/Comparable<in TypeVariable(W)!>!
     <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>!
     <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>!
     <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>?
     <: kotlin/Comparable<TypeVariable(R)!>!
     <: kotlin/Comparable<TypeVariable(R)!>?
     >: kotlin/Int
     <: kotlin/Int?
     <: kotlin/Int!
     <: kotlin/Comparable<kotlin/Int!>!
     <: kotlin/Comparable<kotlin/Int!>?
     <: kotlin/Comparable<in kotlin/Int!>?
     <: kotlin/Comparable<in kotlin/Int!>!
TypeVariable(C) --- 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
    )
     <: kotlin/collections/MutableCollection<in TypeVariable(R)>
     >: java/util/TreeSet<TypeVariable(E)>
TypeVariable(E) --- Readiness(
    	 true ALLOWED
    	 true HAS_PROPER_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
    )
     <: TypeVariable(W)!
     <: kotlin/Comparable<in TypeVariable(W)!>?
     <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>?
     >: TypeVariable(R)
     <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>?
     <: kotlin/Comparable<TypeVariable(R)!>?
     >: kotlin/Int
     <: kotlin/Int?
     <: kotlin/Comparable<kotlin/Int!>?
     <: kotlin/Int!
     <: kotlin/Comparable<in kotlin/Int!>?
TypeVariable(_R) --- Readiness(
    	 true ALLOWED
    	 true HAS_PROPER_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
    )
     <: kotlin/collections/Iterable<TypeVariable(R)>
     >: kotlin/collections/MutableSet<kotlin/Int>
     <: kotlin/collections/Iterable<kotlin/Int?>
     <: kotlin/collections/Iterable<kotlin/Int!>
     <: kotlin/collections/Iterable<kotlin/Comparable<in kotlin/Int!>?>
     <: kotlin/collections/Iterable<kotlin/Comparable<in kotlin/Int!>!>
********************************
CHOSEN for fixation: TypeVariable(R) --- Readiness(
    	 true ALLOWED
    	 true HAS_PROPER_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
    )
     <: TypeVariable(E)
     <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>?
     <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>!
     <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>!
     <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>?
     <: kotlin/Comparable<TypeVariable(R)!>!
     <: kotlin/Comparable<TypeVariable(R)!>?
     >: kotlin/Int
     <: kotlin/Int?
     <: kotlin/Int!
     <: kotlin/Comparable<kotlin/Int!>!
     <: kotlin/Comparable<kotlin/Int!>?
     <: kotlin/Comparable<in kotlin/Int!>?
     <: kotlin/Comparable<in kotlin/Int!>!
     = kotlin/Int (inferred during fixation)
    FIXED TO: kotlin/Int
TypeVariable(C) --- 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
    )
     <: kotlin/collections/MutableCollection<in TypeVariable(R)>
     >: java/util/TreeSet<TypeVariable(E)>
     <: kotlin/collections/MutableCollection<in kotlin/Int> (inferred during fixation)
TypeVariable(E) --- Readiness(
    	 true ALLOWED
    	 true HAS_PROPER_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
    )
     <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>?
     >: TypeVariable(R)
     <: kotlin/Comparable<ft<TypeVariable(R) & Any, TypeVariable(R)?>>?
     <: kotlin/Comparable<TypeVariable(R)!>?
     >: kotlin/Int
     <: kotlin/Int?
     <: kotlin/Comparable<kotlin/Int!>?
     <: kotlin/Int!
     <: kotlin/Comparable<in kotlin/Int!>?
TypeVariable(_R) --- Readiness(
    	 true ALLOWED
    	 true HAS_PROPER_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
    )
     <: kotlin/collections/Iterable<TypeVariable(R)>
     >: kotlin/collections/MutableSet<kotlin/Int>
     <: kotlin/collections/Iterable<kotlin/Int?>
     <: kotlin/collections/Iterable<kotlin/Int!>
     <: kotlin/collections/Iterable<kotlin/Comparable<in kotlin/Int!>?>
     <: kotlin/collections/Iterable<kotlin/Comparable<in kotlin/Int!>!>
     <: kotlin/collections/Iterable<kotlin/Int> (inferred during fixation)
********************************
CHOSEN for fixation: TypeVariable(E) --- Readiness(
    	 true ALLOWED
    	 true HAS_PROPER_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
    )
     <: kotlin/Comparable<ft<TypeVariable(E) & Any, TypeVariable(E)?>>?
     >: kotlin/Int
     <: kotlin/Int?
     <: kotlin/Comparable<kotlin/Int!>?
     <: kotlin/Int!
     <: kotlin/Comparable<in kotlin/Int!>?
     = kotlin/Int (inferred during fixation)
    FIXED TO: kotlin/Int
TypeVariable(C) --- Readiness(
    	 true ALLOWED
    	 true HAS_PROPER_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
    )
     >: java/util/TreeSet<TypeVariable(E)>
     <: kotlin/collections/MutableCollection<in kotlin/Int>
     >: java/util/TreeSet<kotlin/Int> (inferred during fixation)
TypeVariable(_R) --- Readiness(
    	 true ALLOWED
    	 true HAS_PROPER_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
    )
     >: kotlin/collections/MutableSet<kotlin/Int>
     <: kotlin/collections/Iterable<kotlin/Int?>
     <: kotlin/collections/Iterable<kotlin/Int!>
     <: kotlin/collections/Iterable<kotlin/Comparable<in kotlin/Int!>?>
     <: kotlin/collections/Iterable<kotlin/Comparable<in kotlin/Int!>!>
     <: kotlin/collections/Iterable<kotlin/Int>
********************************
CHOSEN for fixation: TypeVariable(C) --- Readiness(
    	 true ALLOWED
    	 true HAS_PROPER_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
    )
     <: kotlin/collections/MutableCollection<in kotlin/Int>
     >: java/util/TreeSet<kotlin/Int>
     = java/util/TreeSet<kotlin/Int> (inferred during fixation)
    FIXED TO: java/util/TreeSet<kotlin/Int>
TypeVariable(_R) --- Readiness(
    	 true ALLOWED
    	 true HAS_PROPER_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
    )
     >: kotlin/collections/MutableSet<kotlin/Int>
     <: kotlin/collections/Iterable<kotlin/Int?>
     <: kotlin/collections/Iterable<kotlin/Int!>
     <: kotlin/collections/Iterable<kotlin/Comparable<in kotlin/Int!>?>
     <: kotlin/collections/Iterable<kotlin/Comparable<in kotlin/Int!>!>
     <: kotlin/collections/Iterable<kotlin/Int>
********************************
CHOSEN for fixation: TypeVariable(_R) --- Readiness(
    	 true ALLOWED
    	 true HAS_PROPER_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
    )
     >: kotlin/collections/MutableSet<kotlin/Int>
     <: kotlin/collections/Iterable<kotlin/Int?>
     <: kotlin/collections/Iterable<kotlin/Int!>
     <: kotlin/collections/Iterable<kotlin/Comparable<in kotlin/Int!>?>
     <: kotlin/collections/Iterable<kotlin/Comparable<in kotlin/Int!>!>
     <: kotlin/collections/Iterable<kotlin/Int>
     = kotlin/collections/MutableSet<kotlin/Int> (inferred during fixation)
    FIXED TO: kotlin/collections/MutableSet<kotlin/Int>
********************************