Trait hax_frontend_exporter::state::HasBaseSetter

pub trait HasBaseSetter<'tcx> {
    type Out;

    // Required method
    fn with_base(self, base: Base<'tcx>) -> Self::Out;
}

Required Associated Types

type Out

Required Methods

fn with_base(self, base: Base<'tcx>) -> Self::Out

Implementors

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

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