Instantiation of nested structs should be allowed outside their parent scope

[Timon Gehr]

On 09.11.21 17:19, Stanislav Blinov wrote:
>>
>> Presumably you are testing because you want to actually do it later.
> 
> No, I am testing because I want to copy things :)

Sure, which is what I said (do it = copy things). But why would you want 
the check to behave differently from actual code that copies things? (As 
I have argued in the other post, both the check and actual code should 
just succeed.)