Struct CheckGenericsVisitor

struct CheckGenericsVisitor<'a, 'ctx> {
    translated: &'a TranslatedCrate,
    error_ctx: &'a mut ErrorCtx<'ctx>,
    discharged_args: u32,
    item_span: Span,
}

Fields

translated: &'a TranslatedCrate

error_ctx: &'a mut ErrorCtx<'ctx>

discharged_args: u32

item_span: Span

Implementations

impl CheckGenericsVisitor<'_, '_>

fn error(&mut self, message: impl Display)

fn discharged_one_generics(&mut self)

Count that we just discharged one instance of GenericArgs.

fn generics_should_match_item( &mut self, args: &GenericArgs, item_id: impl Into<AnyTransId>, )

fn check_typeid_generics(&mut self, args: &GenericArgs, ty_kind: &TypeId)

impl CheckGenericsVisitor<'_, '_>

fn enter_aggregate_kind(&mut self, agg: &AggregateKind)

fn enter_fn_ptr(&mut self, fn_ptr: &FnPtr)

fn enter_global_decl_ref(&mut self, global_ref: &GlobalDeclRef)

fn enter_trait_decl_ref(&mut self, tref: &TraitDeclRef)

fn enter_trait_ref_kind(&mut self, kind: &TraitRefKind)

fn enter_ty(&mut self, ty: &Ty)

fn enter_generic_args(&mut self, args: &GenericArgs)

fn enter_trait_impl(&mut self, timpl: &TraitImpl)

Trait Implementations

impl<'a, 'ctx> Visitor for CheckGenericsVisitor<'a, 'ctx>

fn visit(&mut self, item: &dyn Any, event: Event)