enum Format

[Nickolay Bukreyev]

On Thursday, 11 January 2024 at 04:34:33 UTC, Richard (Rikki) 
Andrew Cattermole wrote:
> This has side effects. It affects ``ref`` and ``out``. It also 
> affects lifetime analysis.
>
> So we can't do it currently.
>
> But yes, it affects the type, without being in the type system 
> explicitly as it is meta data.

Thank you for the clarification. I see a downside that pretty 
much any generic code should strip the annotations off its 
arguments after it inspected them, to reduce template bloating. 
However, we are probably going off-topic.