Struct FinalizeContext 

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

Context given to every attribute parser during finalization.

Gives AttributeParsers enough information to create errors, for example.

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 in finalize

Usually, you should use normal attribute parsing logic instead, especially when making a denylist of other 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 FinalizeContext<'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 FinalizeContext<'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: 56 bytes