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 gpm on Tuesday March 05, 2019 @11:24PM (#19316391)
That doesn't compile with "use of undeclared lifetime name `'a`"
[ Parent | on HN ]
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 ]