pub struct SharedContext<'p, 'sess, S: Stage> {
pub(crate) cx: &'p mut AttributeParser<'sess, S>,
pub(crate) target_span: Span,
pub(crate) target: Target,
pub(crate) emit_lint: &'p mut dyn FnMut(LintId, Span, AttributeLintKind),
}Expand description
Context given to every attribute parser during finalization.
Gives AttributeParsers enough information to create
errors, for example.
Fields§
§cx: &'p mut AttributeParser<'sess, S>The parse context, gives access to the session and the diagnostics context.
target_span: SpanThe span of the syntactical component this attribute was applied to
target: Target§emit_lint: &'p mut dyn FnMut(LintId, Span, AttributeLintKind)The second argument of the closure is a NodeId if S is Early and a HirId if S
is Late and is the ID of the syntactical component this attribute was applied to.
Implementations§
pub(crate) fn emit_err( &self, diag: impl for<'x> Diagnostic<'x>, ) -> ErrorGuaranteed
Sourcepub(crate) fn emit_lint(
&mut self,
lint: &'static Lint,
kind: AttributeLintKind,
span: Span,
)
pub(crate) fn emit_lint( &mut self, lint: &'static Lint, kind: AttributeLintKind, span: Span, )
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 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, S>>§
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>
Sourcepub 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, Span, AttributeLintKind),
) -> Vec<Attribute>
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, Span, AttributeLintKind), ) -> 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 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, emit_lint: &mut impl FnMut(LintId, Span, AttributeLintKind), )
Trait Implementations§
Auto Trait Implementations§
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
Source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
Source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<T> ErasedDestructor for Twhere
T: 'static,
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: 40 bytes