Ah yes, I remember now. Can this also be used to break refinement types (i.e. break typestate)? We have subtyping via refinements.
Patrick -- Sent from my Android phone with K-9 Mail. Please excuse my brevity. Niko Matsakis <[email protected]> wrote: On 2/7/12 4:27 PM, Patrick Walton wrote: > It's not a hole per se As I pointed out elsewhere, I think this is a genuine hole. It allows you to create an immutable box that can later be mutated, as I showed. Niko
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
