bearophile wrote: > Christian Kamm: >> Actually, I don't think the D spec requires typeof(T.init) == T. > > Maybe the D specs have to be fixed then. > This should do what you want: template Init(T) { const T Init; }