RFC PR rust-lang/rfcs#3390 we'd like to see t-types thoughts on the way we reject empty lifetimes and define lifetimes which may already be expired. The main concern is how these interact with the type system, while the interaction with code is fairly straightforward.