dotty.tools.dotc.core.TypeApplications
Extractor for type application T[U_1, ..., U_n]. This is the refined type
T { type p_1 v_1= U_1; ...; type p_n v_n= U_n }
where v_i, p_i are the variances and names of the type parameters of T.
Extractor for type application T[U_1, ..., U_n]. This is the refined type
T { type p_1 v_1= U_1; ...; type p_n v_n= U_n }
where v_i, p_i are the variances and names of the type parameters of T.