Proposal: Linear / Explicitly Destroyed Types
Howdy all, here’s the proposal for Linear / Explicitly Destroyed Types (plus GitHub issue).
TL;DR: We’d upgrade the type system to be able to express “explicitly destroyed types”; a struct (or trait) definition could us…
|