I marked interner::get as "pure" on the basis that once it succeeds, it always succeeds and always returns the same thing. I hope this is reasonable.
The key typestate guarantee still holds: once you've checked it, you can rely on it. But you can't hoist the check arbitrarily far like you can with most preds. https://github.com/graydon/rust/commit/3b5b29c7ec2c28c53bf480a77472f39d939cc72b I also noticed that the compiler incorrectly accepted a version without "unchecked", and filed https://github.com/graydon/rust/issues/975. _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
