I'm working on a proof-of-concept Clang implementation of this. I was
also wondering if there have been similar proposals for this in the
past? Sort of similar: <htttps://wg21.link/P2785R3>,
<https://wg21.link/P0573R2>