4 ms·
From the RFC you linked: "First, the `linear` attribute as described here does not create true `linear` types: when unwinding past a `linear` type, the `linear
by cwzwarich 12y ago
From the RFC you linked:
"First, the `linear` attribute as described here does not create true `linear` types: when unwinding past a `linear` type, the `linear` attribute will be ignored, and a `Finalize` trait could be invoked. Supporting unwinding means that Rust's linear types would in effect still be affine."
- steveklabnik 12y agoOh interesting, I'd missed that. Thanks!
- arielby 12y agoRust always has unwinding, and the finalizer can just call `abort` to make this as linear as you can.
- deleted 12y ago[deleted]