Bug 17694 – traits compiles fails for property of property

While the first assertion works, the second assertion fails. I expect it should work, as the statement "typeof(TButton.Margins.Left) l;" works fine class TButton { @property TBounds Margins() { return null; } } class TBounds { @property float Left() { return 0.0; } } void main() { mixin(`static assert(__traits(compiles, TButton.Margins));`); // OK mixin(`static assert(__traits(compiles, TButton.Margins.Left));`); // FAILS }

Actually, the issue is that the thing you are checking isn't valid syntax. For example: TBounds.Margins.Left; Error: need 'this' for 'Margins' of type '@property TBounds()' What you need is either the typeof, or to use an instance instead of the type itself: mixin(`static assert(__traits(compiles, TButton.init.Margins.Left));`); mixin(`static assert(__traits(compiles, typeof(TButton.Margins.Left)));`);