When I write: template f(Specs...)f(T.init); The compiler syntactically refuses it: It expects a '{', not a "f". Why they use this inside a __traits(compiles, {}) in Phobos? Does it makes sense inside there?