Instantiation of nested structs should be allowed outside their parent scope

[Timon Gehr]

On 09.11.21 16:07, Timon Gehr wrote:
> 
> I see, I guess you actually want this, but it does not work:
> 
> enum bool isNothrowCopyable(To, From) = __traits(compiles, (From 
> from)nothrow{ To to=from; });

Well, that checks the destructor too of course. x)
But now I understand why you want to instantiate To.