Closed mfornet closed 10 months ago
Closing this issue as non-relevant anymore. Please re-open if needed /cc @birchmd @mooori
Just for reference: The motivation for closing it is given in the conversation of #109 (which was a copy of this issue here).
Right now
#[pause]
and#[only]
can only be used at the level function. In some implementations, differentimpl
sections are grouped with different access requirements but similar for every function in the sameimpl
. For those cases, it makes sense to have current markers to work at a top level.