add `noalias` attribute to ~ return values