On Friday, 31 August 2012 at 08:55:18 UTC, Alex Rønne Petersen
wrote:
Hi,
See title. I recently came across a bunch of pure/nothrow
issues with std.variant and fixing them is just not possible
with the current design (dynamic operator dispatch). I'd
literally have to rewrite the whole thing or use some extremely
dirty hacks resulting in implementation defined behavior. I'd
rather rewrite it, but not if someone's already done it.
Sounds like it's not a problem with std.variant specifically, but
conditional attributes in general.
We'd need something like nothrow(condition) to make things work
out nicely, I think.
