On Friday, 13 December 2019 at 02:10:04 UTC, Timon Gehr wrote: > I think that's a bit hacky, e.g.: yeah, can fix that with a lazily initialized cache. but if it is built into the compiler we can fix details like this there too.