Struct rustc_ast_passes::ast_validation::AstValidator

struct AstValidator<'a> {
    session: &'a Session,
    extern_mod: Option<&'a Item>,
    in_trait_impl: bool,
    has_proc_macro_decls: bool,
    outer_impl_trait: Option<Span>,
    bound_context: Option<BoundContext>,
    is_impl_trait_banned: bool,
    is_assoc_ty_bound_banned: bool,
    lint_buffer: &'a mut LintBuffer,
}

Fields

session: &'a Session

extern_mod: Option<&'a Item>

The span of the extern in an extern { ... } block, if any.

in_trait_impl: bool

Are we inside a trait impl?

has_proc_macro_decls: bool

outer_impl_trait: Option<Span>

Used to ban nested impl Trait, e.g., impl Into<impl Debug>. Nested impl Trait is allowed in associated type position, e.g., impl Iterator<Item = impl Debug>.

bound_context: Option<BoundContext>

Keeps track of the BoundContext as we recurse.

This is used to forbid ?const Trait bounds in, e.g., impl Iterator<Item = Box<dyn ?const Trait>.

is_impl_trait_banned: bool

Used to ban impl Trait in path projections like <impl Iterator>::Item or Foo::Bar<impl Trait>

is_assoc_ty_bound_banned: bool

Used to ban associated type bounds (i.e., Type<AssocType: Bounds>) in certain positions.

lint_buffer: &'a mut LintBuffer

Implementations

impl<'a> AstValidator<'a>

fn with_in_trait_impl(&mut self, is_in: bool, f: impl FnOnce(&mut Self))

fn with_banned_impl_trait(&mut self, f: impl FnOnce(&mut Self))

fn with_banned_assoc_ty_bound(&mut self, f: impl FnOnce(&mut Self))

fn with_impl_trait(&mut self, outer: Option<Span>, f: impl FnOnce(&mut Self))

fn with_bound_context(&mut self, ctx: BoundContext, f: impl FnOnce(&mut Self))

fn visit_assoc_ty_constraint_from_generic_args(
    &mut self,
    constraint: &'a AssocTyConstraint
)

fn walk_ty(&mut self, t: &'a Ty)

fn err_handler(&self) -> &Handler

fn check_lifetime(&self, ident: Ident)

fn check_label(&self, ident: Ident)

fn invalid_visibility(&self, vis: &Visibility, note: Option<&str>)

fn check_decl_no_pat(
    decl: &FnDecl,
    report_err: impl FnMut(Span, Option<Ident>, bool)
)

fn check_trait_fn_not_async(&self, fn_span: Span, asyncness: Async)

fn check_trait_fn_not_const(&self, constness: Const)

fn no_questions_in_bounds(
    &self,
    bounds: &GenericBounds,
    where_: &str,
    is_trait: bool
)

fn check_expr_within_pat(&self, expr: &Expr, allow_paths: bool)

Matches '-' lit | lit (cf. parser::Parser::parse_literal_maybe_minus), or paths for ranges.

fn check_late_bound_lifetime_defs(&self, params: &[GenericParam])

fn check_fn_decl(&self, fn_decl: &FnDecl, self_semantic: SelfSemantic)

fn check_decl_cvaradic_pos(&self, fn_decl: &FnDecl)

fn check_decl_attrs(&self, fn_decl: &FnDecl)

fn check_decl_self_param(&self, fn_decl: &FnDecl, self_semantic: SelfSemantic)

fn check_defaultness(&self, span: Span, defaultness: Defaultness)

fn error_item_without_body(&self, sp: Span, ctx: &str, msg: &str, sugg: &str)

fn check_impl_item_provided<T>(
    &self,
    sp: Span,
    body: &Option<T>,
    ctx: &str,
    sugg: &str
)

fn check_type_no_bounds(&self, bounds: &[GenericBound], ctx: &str)

fn check_foreign_ty_genericless(&self, generics: &Generics)

fn check_foreign_kind_bodyless(
    &self,
    ident: Ident,
    kind: &str,
    body: Option<Span>
)

fn check_foreign_fn_bodyless(&self, ident: Ident, body: Option<&Block>)

An fn in extern { ... } cannot have a body { ... }.

fn current_extern_span(&self) -> Span

fn check_foreign_fn_headerless(
    &self,
    ident: Ident,
    span: Span,
    header: FnHeader
)

An fn in extern { ... } cannot have qualifiers, e.g. async fn.

fn check_c_varadic_type(&self, fk: FnKind<'a>)

Reject C-varadic type unless the function is foreign, or free and unsafe extern "C" semantically.

fn check_item_named(&self, ident: Ident, kind: &str)

fn check_nomangle_item_asciionly(&self, ident: Ident, item_span: Span)

fn check_mod_file_item_asciionly(&self, ident: Ident)

fn deny_generic_params(&self, generics: &Generics, ident_span: Span)

fn deny_super_traits(&self, bounds: &GenericBounds, ident_span: Span)

fn deny_items(&self, trait_items: &[P<AssocItem>], ident_span: Span)

fn correct_generic_order_suggestion(&self, data: &AngleBracketedArgs) -> String

fn check_generic_args_before_constraints(&self, data: &AngleBracketedArgs)

Enforce generic args coming before constraints in <...> of a path segment.

Trait Implementations

impl<'a> Visitor<'a> for AstValidator<'a>

fn visit_attribute(&mut self, attr: &Attribute)

fn visit_expr(&mut self, expr: &'a Expr)

fn visit_ty(&mut self, ty: &'a Ty)

fn visit_label(&mut self, label: &'a Label)

fn visit_lifetime(&mut self, lifetime: &'a Lifetime)

fn visit_item(&mut self, item: &'a Item)

fn visit_foreign_item(&mut self, fi: &'a ForeignItem)

fn visit_generic_args(&mut self, _: Span, generic_args: &'a GenericArgs)

fn visit_generics(&mut self, generics: &'a Generics)

fn visit_generic_param(&mut self, param: &'a GenericParam)

fn visit_param_bound(&mut self, bound: &'a GenericBound)

fn visit_pat(&mut self, pat: &'a Pat)

fn visit_where_predicate(&mut self, p: &'a WherePredicate)

fn visit_poly_trait_ref(
    &mut self,
    t: &'a PolyTraitRef,
    m: &'a TraitBoundModifier
)

fn visit_variant_data(&mut self, s: &'a VariantData)

fn visit_enum_def(
    &mut self,
    enum_definition: &'a EnumDef,
    generics: &'a Generics,
    item_id: NodeId,
    _: Span
)

fn visit_fn(&mut self, fk: FnKind<'a>, span: Span, id: NodeId)

fn visit_assoc_item(&mut self, item: &'a AssocItem, ctxt: AssocCtxt)

pub fn visit_name(&mut self, _span: Span, _name: Symbol)

pub fn visit_ident(&mut self, ident: Ident)

pub fn visit_global_asm(&mut self, ga: &'ast GlobalAsm)

pub fn visit_local(&mut self, l: &'ast Local)

pub fn visit_block(&mut self, b: &'ast Block)

pub fn visit_stmt(&mut self, s: &'ast Stmt)

pub fn visit_param(&mut self, param: &'ast Param)

pub fn visit_arm(&mut self, a: &'ast Arm)

pub fn visit_anon_const(&mut self, c: &'ast AnonConst)

pub fn visit_expr_post(&mut self, _ex: &'ast Expr)

pub fn visit_trait_ref(&mut self, t: &'ast TraitRef)

pub fn visit_field_def(&mut self, s: &'ast FieldDef)

pub fn visit_variant(&mut self, v: &'ast Variant)

pub fn visit_mac_call(&mut self, mac: &'ast MacCall)

pub fn visit_mac_def(&mut self, _mac: &'ast MacroDef, _id: NodeId)

pub fn visit_path(&mut self, path: &'ast Path, _id: NodeId)

pub fn visit_use_tree(
    &mut self,
    use_tree: &'ast UseTree,
    id: NodeId,
    _nested: bool
)

pub fn visit_path_segment(
    &mut self,
    path_span: Span,
    path_segment: &'ast PathSegment
)

pub fn visit_generic_arg(&mut self, generic_arg: &'ast GenericArg)

pub fn visit_assoc_ty_constraint(&mut self, constraint: &'ast AssocTyConstraint)

pub fn visit_vis(&mut self, vis: &'ast Visibility)

pub fn visit_fn_ret_ty(&mut self, ret_ty: &'ast FnRetTy)

pub fn visit_fn_header(&mut self, _header: &'ast FnHeader)

pub fn visit_expr_field(&mut self, f: &'ast ExprField)

pub fn visit_pat_field(&mut self, fp: &'ast PatField)