Trait hax_frontend_exporter::state::HasBinderSetter

pub trait HasBinderSetter<'tcx> {
    type Out;

    // Required method
    fn with_binder(self, binder: Binder<'tcx, ()>) -> Self::Out;
}

Required Associated Types

type Out

Required Methods

fn with_binder(self, binder: Binder<'tcx, ()>) -> Self::Out

Implementors

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

type Out = State<Base, Thir, Mir, OwnerId, Binder<TyCtxt<'tcx>, ()>>