As I revisit, this also comes up more explicitly when dealing with lifetimes as a type, and stacked borrows.

[0] https://doc.rust-lang.org/nomicon/subtyping.html