| CHOSEN for fixation: TypeVariable(V) --- 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 |
| ) |
| = kotlin/String? |
| FIXED TO: kotlin/String? |
| ******************************** |
| CHOSEN for fixation: TypeVariable(N) --- 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 |
| ) |
| >: kotlin/String |
| = kotlin/String (inferred during fixation) |
| FIXED TO: kotlin/String |
| 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 |
| true 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 |
| ) |
| <: kotlin/Any |
| ******************************** |
| CHOSEN for fixation: TypeVariable(N) --- 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 |
| ) |
| >: kotlin/String |
| = kotlin/String (inferred during fixation) |
| FIXED TO: kotlin/String |
| ******************************** |
| CHOSEN for fixation: TypeVariable(T) --- 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 |
| ) |
| >: kotlin/Nothing? |
| ******************************** |
| CHOSEN for fixation: TypeVariable(K) --- 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 |
| ) |
| >: kotlin/String |
| >: TypeVariable(T) |
| >: kotlin/Nothing? |
| TypeVariable(T) --- 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 |
| ) |
| >: kotlin/Nothing? |
| <: TypeVariable(K) |
| ******************************** |
| 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 REIFIED |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT |
| true HAS_PROPER_NON_ILT_CONSTRAINT |
| false HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT |
| false HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| ) |
| <: kotlin/Any |
| >: TypeVariable(K) & Any |
| >: kotlin/String |
| >: TypeVariable(T) & Any |
| >: kotlin/Nothing |
| = kotlin/String (inferred during fixation) |
| FIXED TO: kotlin/String |
| TypeVariable(K) --- 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 |
| false HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT |
| false HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| ) |
| >: kotlin/String |
| >: TypeVariable(T) |
| >: kotlin/Nothing? |
| <: TypeVariable(R)? |
| <: kotlin/Any? |
| <: kotlin/String? (inferred during 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 REIFIED |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT |
| true 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/Nothing? |
| <: TypeVariable(K) |
| <: TypeVariable(R)? |
| <: kotlin/Any? |
| <: kotlin/String? (inferred during fixation) |
| ******************************** |
| 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 REIFIED |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT |
| true HAS_PROPER_NON_ILT_CONSTRAINT |
| false HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT |
| false HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| ) |
| <: kotlin/Any |
| >: TypeVariable(K) & Any |
| >: kotlin/String |
| >: TypeVariable(T) & Any |
| >: kotlin/Nothing |
| = kotlin/String (inferred during fixation) |
| FIXED TO: kotlin/String |
| 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 REIFIED |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT |
| true 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/Nothing? |
| <: TypeVariable(K) |
| <: TypeVariable(R)? |
| <: kotlin/Any? |
| <: kotlin/String? (inferred during fixation) |
| TypeVariable(K) --- 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 |
| false HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT |
| false HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| ) |
| >: kotlin/String |
| >: TypeVariable(T) |
| >: kotlin/Nothing? |
| <: TypeVariable(R)? |
| <: kotlin/Any? |
| <: kotlin/String? (inferred during fixation) |
| ******************************** |
| CHOSEN for fixation: TypeVariable(K) --- 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 |
| false HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT |
| false HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| ) |
| >: kotlin/String |
| >: TypeVariable(T) |
| >: kotlin/Nothing? |
| <: kotlin/Any? |
| <: kotlin/String? |
| = kotlin/String? (inferred during fixation) |
| FIXED TO: kotlin/String? |
| 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 REIFIED |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT |
| true 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/Nothing? |
| <: TypeVariable(K) |
| <: kotlin/Any? |
| <: kotlin/String? |
| ******************************** |
| CHOSEN for fixation: TypeVariable(K) --- 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 |
| false HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT |
| false HAS_PROPER_EQUALITY_CONSTRAINT |
| true HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| ) |
| >: kotlin/String |
| >: TypeVariable(T) |
| >: kotlin/Nothing? |
| <: kotlin/Any? |
| <: kotlin/String? |
| = kotlin/String? (inferred during fixation) |
| FIXED TO: kotlin/String? |
| 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 REIFIED |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT |
| true 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/Nothing? |
| <: TypeVariable(K) |
| <: kotlin/Any? |
| <: kotlin/String? |
| ******************************** |
| 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 REIFIED |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT |
| true 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/Nothing? |
| <: kotlin/Any? |
| <: kotlin/String? |
| = kotlin/String? (inferred during fixation) |
| FIXED TO: kotlin/String? |
| ******************************** |
| 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 REIFIED |
| false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT |
| true 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/Nothing? |
| <: kotlin/Any? |
| <: kotlin/String? |
| = kotlin/String? (inferred during fixation) |
| FIXED TO: kotlin/String? |
| ******************************** |
| 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 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 |
| ) |
| = R |
| FIXED TO: 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 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 |
| ) |
| = N |
| FIXED TO: N |
| 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 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 |
| ) |
| <: kotlin/Any |
| = R |
| 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 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 |
| ) |
| <: kotlin/collections/MutableCollection<in TypeVariable(R)> |
| >: {kotlin/collections/ArrayList<R>=} java/util/ArrayList<R> |
| <: kotlin/collections/List<R> |
| <: kotlin/collections/MutableCollection<in R> |
| ******************************** |
| 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 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 |
| ) |
| <: kotlin/Any |
| = R |
| FIXED TO: R |
| 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 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 |
| ) |
| <: kotlin/collections/MutableCollection<in TypeVariable(R)> |
| >: {kotlin/collections/ArrayList<R>=} java/util/ArrayList<R> |
| <: kotlin/collections/List<R> |
| <: kotlin/collections/MutableCollection<in R> |
| ******************************** |
| 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 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 |
| ) |
| >: {kotlin/collections/ArrayList<R>=} java/util/ArrayList<R> |
| <: kotlin/collections/List<R> |
| <: kotlin/collections/MutableCollection<in R> |
| = {kotlin/collections/ArrayList<R>=} java/util/ArrayList<R> (inferred during fixation) |
| FIXED TO: {kotlin/collections/ArrayList<R>=} java/util/ArrayList<R> |
| ******************************** |
