The only motivation I can discern from the paper is to reuse a name with a different type/meaning, which seems to run counter to every coding guideline I’ve ever seen.

It really seems like the existing solutions (using a different name, like a1 and a2, or an enclosing scope) are better in every way.

Sent from [Proton Mail](https://proton.me/mail/home) for iOS.

-------- Original Message --------
On Tuesday, 12/09/25 at 17:23 wjf via Std-Proposals <std-proposals_at_[hidden]> wrote:

> see attachment
>
> https://wx.mail.qq.com/home/index?t=readmail_businesscard_midpage&nocheck=true&name=wjf&icon=http%3A%2F%2Fthirdqq.qlogo.cn%2Fek_qqapp%2FAQNPOicdlIgbG9Ribmfj8EKjTG2hwBlicwibL4stQmE6UNEQ3eh3aQCoFUzN0k1xGg%2F0&mail=wjf%40zenkee.cn&code=
> wjf
> wjf_at_[hidden]