| 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(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(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) | |
| 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? | |
| ******************************** | |
| 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> | |
| ******************************** | |
| 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> (inferred during fixation) | |
| ******************************** | |
| 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> | |
| ******************************** |