Struct rustc_trait_selection::solve::eval_ctxt::probe::TraitProbeCtxt

pub(in solve) struct TraitProbeCtxt<'me, 'a, 'tcx, F> {
    cx: ProbeCtxt<'me, 'a, 'tcx, F, QueryResult<'tcx>>,
    source: CandidateSource,
}

Fields

cx: ProbeCtxt<'me, 'a, 'tcx, F, QueryResult<'tcx>>

source: CandidateSource

Implementations

impl<'tcx, F> TraitProbeCtxt<'_, '_, 'tcx, F>

where F: FnOnce(&QueryResult<'tcx>) -> ProbeKind<'tcx>,

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

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.