Matching a struct pattern should autoderef

[marijnh]

Either that, or we need a syntax for dereferencing in a pattern.

[msullivan]

Perhaps the answer is to introduce "box patterns"?

[pcwalton]

What sully said; box patterns seem to me to be more broadly useful anyway (consider boxed tags, etc.)

[marijnh]

I think stars are still free in pattern syntax. expr_assign(*{span...}, _) seems cute.