Struct rustc_trait_selection::solve::eval_ctxt::probe::ProbeCtxt

pub(in solve) struct ProbeCtxt<'me, 'a, 'tcx, F, T> {
    ecx: &'me mut EvalCtxt<'a, 'tcx>,
    probe_kind: F,
    _result: PhantomData<T>,
}

Fields

ecx: &'me mut EvalCtxt<'a, 'tcx>

probe_kind: F

_result: PhantomData<T>

Implementations

impl<'tcx, F, T> ProbeCtxt<'_, '_, 'tcx, F, T>where F: FnOnce(&T) -> ProbeKind<'tcx>,

pub(in solve) fn enter( self, f: impl FnOnce(&mut EvalCtxt<'_, 'tcx>) -> T ) -> T

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.