Re:Oxide: A Formal Semantics for Rust
by coolreader18 on Tuesday March 05, 2019 @10:45PM
(#19316257)
Like this:
[ Parent
| on HN ]
That doesn't compile with "use of undeclared lifetime name `'a`"
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.