Struct rustc_ap_rustc_span::hygiene::ExpnData [−][src]
A subset of properties from both macro definition and macro call available through global data. Avoid using this if you have access to the original definition or call structures.
Fields
kind: ExpnKind
The kind of this expansion - macro or compiler desugaring.
parent: ExpnId
The expansion that produced this expansion.
call_site: Span
The location of the actual macro invocation or syntax sugar , e.g.
let x = foo!();
or if let Some(y) = x {}
This may recursively refer to other macro invocations, e.g., if
foo!()
invoked bar!()
internally, and there was an
expression inside bar!
; the call_site of the expression in
the expansion would point to the bar!
invocation; that
call_site span would have its own ExpnData, with the call_site
pointing to the foo!
invocation.
def_site: Span
The span of the macro definition (possibly dummy). This span serves only informational purpose and is not used for resolution.
allow_internal_unstable: Option<Lrc<[Symbol]>>
List of #[unstable]
/feature-gated features that the macro is allowed to use
internally without forcing the whole crate to opt-in
to them.
allow_internal_unsafe: bool
Whether the macro is allowed to use unsafe
internally
even if the user crate has #![forbid(unsafe_code)]
.
local_inner_macros: bool
Enables the macro helper hack (ident!(...)
-> $crate::ident!(...)
)
for a given macro.
edition: Edition
Edition of the crate in which the macro is defined.
macro_def_id: Option<DefId>
The DefId
of the macro being invoked,
if this ExpnData
corresponds to a macro invocation
Implementations
impl ExpnData
[src]
pub fn new(
kind: ExpnKind,
parent: ExpnId,
call_site: Span,
def_site: Span,
allow_internal_unstable: Option<Lrc<[Symbol]>>,
allow_internal_unsafe: bool,
local_inner_macros: bool,
edition: Edition,
macro_def_id: Option<DefId>
) -> ExpnData
[src]
kind: ExpnKind,
parent: ExpnId,
call_site: Span,
def_site: Span,
allow_internal_unstable: Option<Lrc<[Symbol]>>,
allow_internal_unsafe: bool,
local_inner_macros: bool,
edition: Edition,
macro_def_id: Option<DefId>
) -> ExpnData
pub fn default(
kind: ExpnKind,
call_site: Span,
edition: Edition,
macro_def_id: Option<DefId>
) -> ExpnData
[src]
kind: ExpnKind,
call_site: Span,
edition: Edition,
macro_def_id: Option<DefId>
) -> ExpnData
Constructs expansion data with default properties.
pub fn allow_unstable(
kind: ExpnKind,
call_site: Span,
edition: Edition,
allow_internal_unstable: Lrc<[Symbol]>,
macro_def_id: Option<DefId>
) -> ExpnData
[src]
kind: ExpnKind,
call_site: Span,
edition: Edition,
allow_internal_unstable: Lrc<[Symbol]>,
macro_def_id: Option<DefId>
) -> ExpnData
pub fn is_root(&self) -> bool
[src]
Trait Implementations
impl Clone for ExpnData
[src]
impl Debug for ExpnData
[src]
impl<__D: Decoder> Decodable<__D> for ExpnData
[src]
impl<__E: Encoder> Encodable<__E> for ExpnData
[src]
impl !Hash for ExpnData
[src]
pub fn hash<H>(&self, state: &mut H) where
H: Hasher,
1.0.0[src]
H: Hasher,
pub fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
impl<__CTX> HashStable<__CTX> for ExpnData where
__CTX: HashStableContext,
[src]
__CTX: HashStableContext,
fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)
[src]
impl !PartialEq<ExpnData> for ExpnData
[src]
Auto Trait Implementations
impl !RefUnwindSafe for ExpnData
impl !Send for ExpnData
impl !Sync for ExpnData
impl Unpin for ExpnData
impl UnwindSafe for ExpnData
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<'a, T> Captures<'a> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Erased for T
[src]
impl<T> From<T> for T
[src]
impl<T> Instrument for T
[src]
pub fn instrument(self, span: Span) -> Instrumented<Self>
[src]
pub fn in_current_span(self) -> Instrumented<Self>
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> Same<T> for T
type Output = T
Should always be Self
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,