Today, ~E lifetimes are built on on a value dependency model. We want to migrate to a type-restricted model. A type-restricted model is essentially a generic type system for lifetimes, which I'll call "lifetime types".
Dependencies
@_lifetime(source)
func operation(source: Source) -> Dest