swift
525ba8c0 - [move-only] When passing a move only struct address, pass it as a true borrowed parameter.

Commit
3 years ago
[move-only] When passing a move only struct address, pass it as a true borrowed parameter. This ensures that the address move checker does not have to perform any unsound access scope expansions. One note is that the current approach does not work for class member refs since in SILGenLValue, a class is considered a base of the SILGenLValue access which is immediately evaluated (causing a copy) rather than evaluated later at formal evaluation time. I have a few ways of working around this issue but am going to fix it in a subsequent commit when I fix this for classes and also read coroutines. rdar://99616492
Author
Committer
Parents
Loading