On Thursday, 4 October 2012 at 17:44:48 UTC, kenji hara wrote: >> a) T might be "@disabled this()", making T.init illegal syntax >> (in theory, >> currently "buggy") > > I think T.init should always legal. What would be the semantics of T.init for a type with @disable this()? It isn't a valid value, for sure... David