After a lookover, fix the other `as`-aliasing issue, and test.