You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
use dialectic::prelude::*;typeS = Session!{
offer {0 => {}}};#[Transmitter(Tx)]#[Receiver(Rx)]asyncfnrun<Tx,Rx,E>(chan:Chan<S,Tx,Rx>) -> Result<(),E>whereE:From<Tx::Error> + From<Rx::Error>,{offer!(in chan {// no branches!!!})?
}
The current offer! macro (not on the carrier-type branch) does not catch this error, and indeed can't catch this error in the macro itself. This bug increases the urgency with which I would like to merge the carrier-type branch, because the offer! macro which integrates Vesta should catch this bug.
The text was updated successfully, but these errors were encountered:
This compiles, but it shouldn't:
The current
offer!
macro (not on the carrier-type branch) does not catch this error, and indeed can't catch this error in the macro itself. This bug increases the urgency with which I would like to merge the carrier-type branch, because theoffer!
macro which integrates Vesta should catch this bug.The text was updated successfully, but these errors were encountered: