I may be out of my depth here as I've only casually used Rust, but this seems similar to Swift's proposed lifetime dependencies[1]. They're not in the type syst

I may be out of my depth here as I've only casually used Rust, but this seems similar to Swift's proposed lifetime dependencies[1]. They're not in the type system formally so maybe they're closer to poloneius work [1]: https://github.com/apple/swift-evolution/blob/3055becc53a3c3c2551dfceb8de04316902e4c5d/proposals/NNNN-lifetime-dependency.md https://github.com/apple/swift-evolution/blob/3055becc53a3c3...