к
Size: a a a
AA
AA
AA
Cannot instantiate the metavariable _6 to solution Vec _A_8 n
since it contains the variable n
which is not in scope of the metavariable or irrelevant in the metavariable but relevant in the solution
when checking that the inferred type of an application
Vec _A_8 n
matches the expected type
_B_6
AA
AA
R
AV
AV
ЗП
AV
AV
AV
AV
AV