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,
    is_let_allowed: 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.

is_let_allowed: bool

Used to allow let expressions in certain syntactic locations.

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_let_allowed(&mut self, allowed: bool, f: impl FnOnce(&mut Self, bool))

fn ban_let_expr(&self, expr: &'a Expr)

Emits an error banning the let expression provided in the given location.

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 visit_struct_field_def(&mut self, field: &'a FieldDef)

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_anonymous_field(&self, field: &FieldDef)

fn deny_anonymous_struct(&self, ty: &Ty)

fn deny_anonymous_field(&self, field: &FieldDef)

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_foreign_item_ascii_only(&self, ident: Ident)

An item in extern { ... } cannot use non-ascii identifier.

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.

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

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_field_def(&mut self, s: &'a FieldDef)

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_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)

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

fn visit_ident(&mut self, ident: Ident)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Layout

Note: Most layout information is completely unstable and may be different between compiler versions and platforms. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 48 bytes