| 23:41 | <rbuckton> | FYI, I've started drafting a void "discard" binding proposal here: https://github.com/rbuckton/proposal-void-binding. The goal is to subsume the previous using void part of the resource management proposal into a more general purpose form for specifying "discarded" bindings, as an explicit Elision marker, and for future use as a "discard" pattern for pattern matching. The explainer is very light on details at the moment, I plan to flesh it out over the next few days. |