Enum hir_expand::MacroCallKind

pub enum MacroCallKind {
    FnLike {
        ast_id: AstId<MacroCall>,
        expand_to: ExpandTo,
        eager: Option<Arc<EagerCallInfo>>,
    },
    Derive {
        ast_id: AstId<Adt>,
        derive_attr_index: AttrId,
        derive_index: u32,
        derive_macro_id: MacroCallId,
    },
    Attr {
        ast_id: AstId<Item>,
        attr_args: Option<Arc<Subtree>>,
        invoc_attr_index: AttrId,
    },
}

Variants

FnLike

Fields

ast_id: AstId<MacroCall>

expand_to: ExpandTo

eager: Option<Arc<EagerCallInfo>>

Some if this is a macro call for an eager macro. Note that this is None for the eager input macro file.

Derive

Fields

ast_id: AstId<Adt>

derive_attr_index: AttrId

Syntactical index of the invoking #[derive] attribute.

Outer attributes are counted first, then inner attributes. This does not support out-of-line modules, which may have attributes spread across 2 files!

derive_index: u32

Index of the derive macro in the derive attribute

derive_macro_id: MacroCallId

The “parent” macro call. We will resolve the same token tree for all derive macros in the same derive attribute.

Attr

Fields

ast_id: AstId<Item>

attr_args: Option<Arc<Subtree>>

invoc_attr_index: AttrId

Syntactical index of the invoking #[attribute].

Outer attributes are counted first, then inner attributes. This does not support out-of-line modules, which may have attributes spread across 2 files!

Implementations

impl MacroCallKind

pub fn file_id(&self) -> HirFileId

Returns the file containing the macro invocation.

pub fn erased_ast_id(&self) -> ErasedFileAstId

pub fn original_call_range_with_body(self, db: &dyn ExpandDatabase) -> FileRange

Returns the original file range that best describes the location of this macro call.

Unlike MacroCallKind::original_call_range, this also spans the item of attributes and derives.

pub fn original_call_range(self, db: &dyn ExpandDatabase) -> FileRange

Returns the original file range that best describes the location of this macro call.

Here we try to roughly match what rustc does to improve diagnostics: fn-like macros get the whole ast::MacroCall, attribute macros get the attribute’s range, and derives get only the specific derive that is being referred to.

Trait Implementations

impl Clone for MacroCallKind

fn clone(&self) -> MacroCallKind

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MacroCallKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for MacroCallKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for MacroCallKind

fn eq(&self, other: &MacroCallKind) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for MacroCallKind

impl StructuralPartialEq for MacroCallKind