On Friday, 16 September 2022 at 23:06:35 UTC, H. S. Teoh wrote:
Basically, if you pass something to .fun by value, then that value must be destroyed by .fun once it's ready to return. So if the value has a dtor, the dtor must be called upon exiting from .fun. Since Variant has a throwing dtor, this means .fun may throw when it's about to return, which violates `nothrow`.
I understand why this happens but not why the compiler does not check if the value is actually destroyed in user code by `.destroy()`.
Thanks for your suggestion, I will consider this.
