| 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 |
| ) |
| <: dynamic |
| ******************************** |
| 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 |
| false HAS_PROPER_EQUALITY_CONSTRAINT |
| false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| ) |
| <: dynamic |
| <: TypeVariable(K) |
| = dynamic (inferred during fixation) |
| FIXED TO: dynamic |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| ) |
| >: kotlin/Nothing |
| >: TypeVariable(T) |
| = dynamic |
| ******************************** |
| 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 |
| true HAS_PROPER_EQUALITY_CONSTRAINT |
| false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT |
| ) |
| >: kotlin/Nothing |
| = dynamic |
| FIXED TO: dynamic |
| ******************************** |
