Provenance of the distributed slice

[ia0]

I'm curious if and how the distributed slice works with provenance. Embedded Rust does similar things (defining a range of memory using a start and end symbol) and seems to be worried about taking the address of such symbols to build the range in between. See rust-embedded/wg#771 for reference. Is this also a concern for this crate? If yes, how is this currently addressed?