On Thursday, March 01, 2018 10:55:34 Steven Schveighoffer via Digitalmars-d- learn wrote: > It should really say that it's up to the GC implementation whether it's UB > or not.
Well, that arguably makes it UB in general then, because it can't be relied on. By putting restrictions on the GC in general based on what types of GCs theoretically could be used, it makes it so that D code in general could theoretically work with any GC that fits the bill, whereas if the rules of what was allowed changed depending on the GC being used, what was valid D would effectively change depending on the GC. - Jonathan M Davis