[tialaramex]

Generously, you've confused somebody saying they're interested in working on a problem with them having a working solution to the problem.

Circle does not, in fact, have working Rust style lifetimes. Sean splits the Circle documentation into features which work and "Research" features Sean is working on and lots of interesting ideas, including lifetimes, are in the second category. Maybe Circle will implement them some day, or maybe it will not.

[steveklabnik]

My understanding is that he has been implementing them? I remember seeing screenshots like this go around back when I was on twitter:

https://twitter.com/seanbax/status/1744403554155041047

https://twitter.com/seanbax/status/1685671828767879168

[Conscat]

They've been the primary focus of Circle for the better part of a year now. He's demo'd them working many times already.