CHOSEN for fixation: TypeVariable(T) --- FORBIDDEN
     <: dynamic
********************************
CHOSEN for fixation: TypeVariable(K) --- READY_FOR_FIXATION_UPPER
     >: kotlin/Nothing
     >: TypeVariable(T)
     = dynamic
    FIXED TO: dynamic
TypeVariable(T) --- READY_FOR_FIXATION_UPPER
     <: dynamic
     <: dynamic
     = dynamic (inferred during fixation)
********************************
CHOSEN for fixation: TypeVariable(T) --- READY_FOR_FIXATION_UPPER
     <: dynamic
     <: dynamic
     = dynamic (inferred during fixation)
    FIXED TO: dynamic
********************************