ASSIGN_LEFT:
Substitutor: <map substitutor: {S = T, K = T, M = T}>
Substituted pairs:
T <: T (Original: S <: T)

ASSIGN_RIGHT:
Substitutor: null

ASSIGN_ALL:
Substitutor: <map substitutor: {T = kotlin/Number, X = kotlin/Number, R = kotlin/Number, S = kotlin/Number, K = kotlin/Number, M = kotlin/Number}>
Substituted pairs:
kotlin/Number <: kotlin/Number (Original: S <: T)
