Closed Bug 571004 Opened 15 years ago Closed 15 years ago

add block dtors

Categories

(Servo Graveyard :: Rust, defect)

defect
Not set
normal

Tracking

(Not tracked)

RESOLVED WONTFIX

People

(Reporter: graydon, Unassigned)

Details

It may be reasonable to support a "drop { ... }" block in a frame as well as an obj. This would just get stuck into the implicit frame-exit path, to be run on failure / unwinding. Pleasingly, since frames are already acyclic (being stacked) there's no need to restrict this to "only operating on immutables" the way there is in objs.
Hmm. This is actually not all that likely to be useful. The best entry typestate we could assume would be nothing-initialized, which is pretty much pointless for running code. Best to make do with RAII / obj dtors. Closing.
Status: NEW → RESOLVED
Closed: 15 years ago
Resolution: --- → WONTFIX
Group: servo
You need to log in before you can comment on or make changes to this bug.