Seriously strengthen the guarantee offered by noalias on a function's return