Messages in this thread | | | Subject | Re: [PATCH v9 12/27] rust: add `kernel` crate | From | comex <> | Date | Wed, 21 Sep 2022 02:42:18 -0400 |
| |
> On Sep 20, 2022, at 6:39 PM, Gary Guo <gary@garyguo.net> wrote: > > It should be noted however, atomic context is not something that a > token can represent. You can only use tokens to restrict what you *can* > do, but not what you *can't* do. There is no negative reasoning with > tokens, you can't create a function that can only be called when you > don't have token.
On the other hand, it ought to be feasible to implement that kind of ’negative reasoning' as a custom lint. It might not work as well as something built into the language, but it should work decently well, and could serve as a prototype for a future built-in feature.
| |