News for hackers. Stuff that matters.

A comment on Oxide: A Formal Semantics for Rust. Parent comment

Re:Oxide: A Formal Semantics for Rust by steveklabnik on Wednesday March 06, 2019 @03:55AM (#19317387)
You can name loop labels like this, but you cannot use them to introduce actual lifetimes, that’s right.
[ Parent | on HN ]

There are no comments on this comment yet.