Struct FinalizeCheckContext 

pub(crate) struct FinalizeCheckContext<'p, 'sess> {
    pub(crate) shared: SharedContext<'p, 'sess>,
    pub(crate) all_attrs: &'p [RefPathParser<'p>],
    pub(crate) parsed_attrs: &'p [Attribute],
}

Context given to deferred cross-attribute checks (finalize_check).

These checks run after every attribute on an item has been finalized, so unlike FinalizeContext this context can also inspect the fully parsed attributes via parsed_attrs.

Fields

shared: SharedContext<'p, 'sess>

all_attrs: &'p [RefPathParser<'p>]

A list of all attribute on this syntax node.

Useful for compatibility checks with other attributes.

Unlike parsed_attrs, this only contains the paths of the attributes.

parsed_attrs: &'p [Attribute]

All attributes that have been parsed on this syntax node.

Unlike all_attrs, this contains the fully parsed attributes.

Methods from Deref<Target = SharedContext<'p, 'sess>>

pub(crate) fn emit_err( &self, diag: impl for<'x> Diagnostic<'x>, ) -> ErrorGuaranteed

pub(crate) fn emit_lint( &mut self, lint: &'static Lint, diagnostic: impl for<'x> Diagnostic<'x, ()> + DynSend + DynSync + 'static, span: impl Into<MultiSpan>, )

Emit a lint. This method is somewhat special, since lints emitted during attribute parsing must be delayed until after HIR is built. This method will take care of the details of that.

pub(crate) fn emit_lint_with_sess<F: for<'a> FnOnce(DiagCtxtHandle<'a>, Level, &Session) -> Diag<'a, ()> + DynSend + DynSync + 'static>( &mut self, lint: &'static Lint, callback: F, span: impl Into<MultiSpan>, )

fn emit_lint_inner( &mut self, lint: &'static Lint, kind: EmitAttribute, span: impl Into<MultiSpan>, )

pub(crate) fn warn_unused_duplicate( &mut self, used_span: Span, unused_span: Span, )

pub(crate) fn warn_unused_duplicate_future_error( &mut self, used_span: Span, unused_span: Span, )

Methods from Deref<Target = AttributeParser<'sess>>

pub(crate) fn sess(&self) -> &'sess Session

pub(crate) fn features(&self) -> &'sess Features

pub(crate) fn features_option(&self) -> Option<&'sess Features>

pub(crate) fn dcx(&self) -> DiagCtxtHandle<'sess>

pub(crate) fn emit_err( &self, diag: impl for<'x> Diagnostic<'x>, ) -> ErrorGuaranteed

pub fn parse_attribute_list( &mut self, attrs: &[Attribute], target_span: Span, target: Target, omit_doc: OmitDoc, lower_span: impl Copy + Fn(Span) -> Span, emit_lint: impl FnMut(LintId, MultiSpan, EmitAttribute), ) -> Vec<Attribute>

Parse a list of attributes.

target_span is the span of the thing this list of attributes is applied to, and when omit_doc is set, doc attributes are filtered out.

fn check_args_used(&self, attr: &Attribute, args: &ArgParser)

Checks whether all ArgParsers were observed by an attribute parser at least once This check exists because otherwise it is too easy to accidentally ignore the arguments of an attribute

fn lower_attr_args( &self, args: &AttrArgs, lower_span: impl Fn(Span) -> Span, ) -> AttrArgs

pub fn check_attribute_safety( &mut self, attr_path: &AttrPath, attr_span: Span, attr_safety: Safety, expected_safety: AttributeSafety, emit_lint: &mut impl FnMut(LintId, MultiSpan, EmitAttribute), )

pub fn check_attribute_stability( &mut self, attr_path: &AttrPath, attr_span: Span, expected_stability: AttributeStability, )

pub(crate) fn check_invalid_crate_level_attr_item( &self, attr: &AttrItem, inner_span: Span, )

fn first_line_of_next_item(&self, span: Span) -> Option<Span>

pub(crate) fn check_invalid_where_predicate_attrs<'attr>( &self, attrs: impl IntoIterator<Item = &'attr Attribute>, )

Trait Implementations

impl<'p, 'sess: 'p> Deref for FinalizeCheckContext<'p, 'sess>

type Target = SharedContext<'p, 'sess>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<'p, 'sess: 'p> DerefMut for FinalizeCheckContext<'p, 'sess>

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. 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: 72 bytes