This is part of the series started by D68484.
Rebase of D9377
This looks incorrect to me.
Did you mean Intrinsic::noalias ?
Or does Intrinsic::noalias identify as Intrinsic::assume?
Yes, that should have been Intrinsic::noalias.
Fix bad rebase.
For review convenience, all changes related to the original local restrict patches have now been incorporated in the full restrict patch series.