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.
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.
