CHOSEN for fixation: TypeVariable(P) --- FORBIDDEN
     <: kotlin/Any
********************************
CHOSEN for fixation: TypeVariable(K) --- FORBIDDEN
     >: TypeVariable(P)
     >: kotlin/Nothing?
TypeVariable(P) --- FORBIDDEN
     <: kotlin/Any
     <: TypeVariable(K)
********************************
CHOSEN for fixation: TypeVariable(P) --- READY_FOR_FIXATION_REIFIED
     <: kotlin/Any
     <: TypeVariable(K)
     <: TypeVariable(T)?
     <: kotlin/Any?
     <: Result?
     = Result (inferred during fixation)
    FIXED TO: Result
TypeVariable(T) --- READY_FOR_FIXATION_UPPER
     <: kotlin/Any
     <: Result?
     >: TypeVariable(K) & Any
     >: kotlin/Nothing
     >: Result
     = Result (inferred during fixation)
TypeVariable(K) --- READY_FOR_FIXATION_UPPER
     >: kotlin/Nothing?
     <: kotlin/Any?
     <: Result?
     >: Result
     = Result?
********************************
CHOSEN for fixation: TypeVariable(T) --- READY_FOR_FIXATION_LOWER
     <: kotlin/Any
     <: Result?
     >: TypeVariable(K) & Any
     >: kotlin/Nothing
     >: Result
     = Result (inferred during fixation)
    FIXED TO: Result
TypeVariable(K) --- READY_FOR_FIXATION_LOWER
     >: kotlin/Nothing?
     <: kotlin/Any?
     <: Result?
     >: Result
     = Result?
********************************
CHOSEN for fixation: TypeVariable(K) --- READY_FOR_FIXATION_LOWER
     >: kotlin/Nothing?
     <: kotlin/Any?
     <: Result?
     >: Result
     = Result? (inferred during fixation)
    FIXED TO: Result?
********************************
