Trait rustc_ty_utils::sig_types::SpannedTypeVisitor

pub trait SpannedTypeVisitor<'tcx> {
    type BreakTy = !;

    // Required method
    fn visit(
        &mut self,
        span: Span,
        value: impl TypeVisitable<TyCtxt<'tcx>>
    ) -> ControlFlow<Self::BreakTy>;
}

Provided Associated Types

type BreakTy = !

Required Methods

fn visit( &mut self, span: Span, value: impl TypeVisitable<TyCtxt<'tcx>> ) -> ControlFlow<Self::BreakTy>

Object Safety

This trait is not object safe.

Implementors

impl<'tcx> SpannedTypeVisitor<'tcx> for ImplTraitInAssocTypeCollector<'tcx>

impl<'tcx> SpannedTypeVisitor<'tcx> for OpaqueTypeCollector<'tcx>