[meltyness]

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

[steveklabnik]

Lifetimes are the only subtyping relationship in Rust, yes.