Hello, attached is a proposal on the topic of identifiers inside pattern
matching.
It is a section of an old proposal I wrote few months back, which did not
account for the existence of p2688, as well as p2211, which renders many
sections of it no longer needed.



<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>
Няма
вирусиwww.avast.com
<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>
<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>