Trait rustc_trait_selection::solve::search_graph::overflow::OverflowHandler

pub(in solve) trait OverflowHandler<'tcx> {
    // Required method
    fn search_graph(&mut self) -> &mut SearchGraph<'tcx>;

    // Provided methods
    fn repeat_while_none<T>(
        &mut self,
        on_overflow: impl FnOnce(&mut Self) -> Result<T, NoSolution>,
        loop_body: impl FnMut(&mut Self) -> Option<Result<T, NoSolution>>
    ) -> Result<T, NoSolution> { ... }
    fn with_incremented_depth<T>(
        &mut self,
        on_overflow: impl FnOnce(&mut Self) -> T,
        body: impl FnOnce(&mut Self) -> T
    ) -> T { ... }
}

Required Methods

fn search_graph(&mut self) -> &mut SearchGraph<'tcx>

Provided Methods

fn repeat_while_none<T>( &mut self, on_overflow: impl FnOnce(&mut Self) -> Result<T, NoSolution>, loop_body: impl FnMut(&mut Self) -> Option<Result<T, NoSolution>> ) -> Result<T, NoSolution>

fn with_incremented_depth<T>( &mut self, on_overflow: impl FnOnce(&mut Self) -> T, body: impl FnOnce(&mut Self) -> T ) -> T

Implementors

impl<'tcx> OverflowHandler<'tcx> for EvalCtxt<'_, 'tcx>

impl<'tcx> OverflowHandler<'tcx> for SearchGraph<'tcx>