P
Size: a a a
P
p
G
r
State - не Copy, поэтому должна быть ошибка компиляции.A

A
State - не Copy, поэтому должна быть ошибка компиляции.A
P
A
p
State - не Copy, поэтому должна быть ошибка компиляции.p
p
r
s деструктурируется в match и новое значение не присваивается.r
p
s деструктурируется в match и новое значение не присваивается.p
r
match s - поглощает sp
match s - поглощает sG
P