Enum hir_expand::hygiene::Transparency
pub enum Transparency {
Transparent,
SemiTransparent,
Opaque,
}
Expand description
A property of a macro expansion that determines how identifiers produced by that expansion are resolved.
Variants§
Transparent
Identifier produced by a transparent expansion is always resolved at call-site.
Call-site spans in procedural macros, hygiene opt-out in macro
should use this.
SemiTransparent
Identifier produced by a semi-transparent expansion may be resolved
either at call-site or at definition-site.
If it’s a local variable, label or $crate
then it’s resolved at def-site.
Otherwise it’s resolved at call-site.
macro_rules
macros behave like this, built-in macros currently behave like this too,
but that’s an implementation detail.
Opaque
Identifier produced by an opaque expansion is always resolved at definition-site.
Def-site spans in procedural macros, identifiers from macro
by default use this.
Implementations§
§impl Transparency
impl Transparency
Trait Implementations§
§impl Clone for Transparency
impl Clone for Transparency
§fn clone(&self) -> Transparency
fn clone(&self) -> Transparency
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read more§impl Debug for Transparency
impl Debug for Transparency
§impl Hash for Transparency
impl Hash for Transparency
§impl PartialEq for Transparency
impl PartialEq for Transparency
§impl PartialOrd for Transparency
impl PartialOrd for Transparency
impl Copy for Transparency
impl Eq for Transparency
impl StructuralPartialEq for Transparency
Auto Trait Implementations§
impl Freeze for Transparency
impl RefUnwindSafe for Transparency
impl Send for Transparency
impl Sync for Transparency
impl Unpin for Transparency
impl UnwindSafe for Transparency
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key
and return true
if they are equal.§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§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 more