double-check mutability inside Allocation r? `@oli-obk`
For more information about how rustc works, see the rustc dev guide.
