`noalias` on all `&mut` parameters is too coarse

it can alias `&const` and `@mut`