search

rust-lang / types-team

Home of the "types team", affiliated with the compiler and lang teams.
https://rust-lang.github.io/types-team/
Apache License 2.0
94 stars 19 forks source link

Nominating non-local lifetimes (daddy borrowck) for meeting discussion #85

Closed SoniEx2 closed 1 year ago

SoniEx2 commented 1 year ago

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.