hasUDA with this

[Timoses]

On Friday, 20 July 2018 at 16:53:12 UTC, jmh530 wrote:
> Hmm, on that part about the attributes copying their values, I 
> suppose it would be sufficient if I could apply the attributes 
> to a group of declarations. However, it didn't seem to work 
> properly for me with UDAs, and I noticed that even some of the 
> examples in the spec don't compile. Below is taken from section 
> 8.5 and doesn't compile with DMD 2.081.1. (here's a version on 
> run.dlang.org: https://run.dlang.io/is/pKHoBA)
>
> void main()
> {
>     const int foo = 7;
>     static assert(is(typeof(foo) == const(int)));
>
>     const
>     {
>         double bar = foo + 6;
>     }
>     static assert(is(typeof(bar) == const(double)));
> }

It works in module scope

https://run.dlang.io/is/OQKYag

I don't know why though...