Trait hax_frontend_exporter::state::HasMirSetter

pub trait HasMirSetter<'tcx> {
    type Out;

    // Required method
    fn with_mir(self, mir: RcMir<'tcx>) -> Self::Out;
}

Required Associated Types

type Out

Required Methods

fn with_mir(self, mir: RcMir<'tcx>) -> Self::Out

Implementors

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

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