When converting a `SharedAddressRange` to a `&T` we do a bounds check but not an alignment check.
When converting a
SharedAddressRangeto a&Twe do a bounds check but not an alignment check.