Likelihood of if statement and case

[Richard (Rikki) Andrew Cattermole]

On 19/09/2024 2:46 AM, Quirin Schroll wrote:
> I can only repeat myself: An attribute is the wrong choice. Use a 
> pragma. That’s what it’s for. Statement-level attributes require a 
> grammar change. If you allow |@whatever| here specifically, one would 
> assume any UDAs work there, too. But why would they? What would they 
> mean? It’s really inconsistent.

They mean the same thing as they do anywhere else.

The fact that you don't have the ability to introspect them is irrelevant.

You can do the same thing for any symbol, or function parameter and you 
are free to never introspect them.

The only thing inconsistent is that there is no way to introspect it, 
but perhaps tooling could i.e. a documentation generator.