Usability of ARC/ORC in multi threaded code.

[Araq]

> Why did you have to change it? The original makes sense as long as the return 
> type can't alias any part of y

It was done to fix <https://github.com/nim-lang/Nim/issues/19013> and a better 
alias analysis might have achieved the same.