pub trait InferCtxtBuilderExt<'tcx> {
    // Required method
    fn enter_canonical_trait_query<K, R>(
        self,
        canonical_key: &Canonical<'tcx, K>,
        operation: impl FnOnce(&ObligationCtxt<'_, 'tcx>, K) -> Result<R, NoSolution>
    ) -> Result<CanonicalQueryResponse<'tcx, R>, NoSolution>
       where K: TypeFoldable<TyCtxt<'tcx>>,
             R: Debug + TypeFoldable<TyCtxt<'tcx>>,
             Canonical<'tcx, QueryResponse<'tcx, R>>: ArenaAllocatable<'tcx>;
}

Required Methods§

source

fn enter_canonical_trait_query<K, R>( self, canonical_key: &Canonical<'tcx, K>, operation: impl FnOnce(&ObligationCtxt<'_, 'tcx>, K) -> Result<R, NoSolution> ) -> Result<CanonicalQueryResponse<'tcx, R>, NoSolution>where K: TypeFoldable<TyCtxt<'tcx>>, R: Debug + TypeFoldable<TyCtxt<'tcx>>, Canonical<'tcx, QueryResponse<'tcx, R>>: ArenaAllocatable<'tcx>,

Implementors§