Bug 1625 – CTFE: cannot evaluate function when return type includes a union

dmd refuses to compile the following legal code: [CODE] struct Foo { union { struct { float x,y,z; } float[3] _v; } static Foo bar(){ Foo f; return f; } } void main() { const Foo foo = Foo.bar();//Error: cannot evaluate bar() at compile time } [/CODE] i hope i am right that it should work and is valid code.

this examples seems to work now, was it intentionally fixed in 2.008? it's not in the changelog.

ok the above example works under dmd2.008 just cause of the changes in the const thing, when involving static it isnt able to evaluate the union stuff @compile time again: [CODE] struct Foo { union { struct { float x,y,z; } float[3] _v; } static Foo bar(){ Foo f; return f; } } void main() { static Foo foo = Foo.bar();//Error: cannot evaluate bar() at compile time } [/CODE]

Actually it cannot evaluate any function which involves reading the value of a union. (It can WRITE to a union, though!)

From about 2.055, the code works properly in CTFE.