Tomer Filiba: > http://wiki.dlang.org/DIP68 Perhaps your DIP also needs a trait? struct Foo {} @nogc struct Bar {} static assert(!__traits(hasNogc, Foo)); static assert(__traits(hasNogc, Bar)); Byem bearophile