Trait hax_frontend_exporter::state::HasThirSetter

pub trait HasThirSetter<'tcx> {
    type Out;

    // Required method
    fn with_thir(self, thir: RcThir<'tcx>) -> Self::Out;
}

Required Associated Types

type Out

Required Methods

fn with_thir(self, thir: RcThir<'tcx>) -> Self::Out

Implementors

impl<'tcx, Base, Thir, Mir, OwnerId, Binder> HasThirSetter<'tcx> for State<Base, Thir, Mir, OwnerId, Binder>

type Out = State<Base, Rc<Thir<'tcx>>, Mir, OwnerId, Binder>