Enum rustc_span::hygiene::DesugaringKind
source · pub enum DesugaringKind {
CondTemporary,
QuestionMark,
TryBlock,
YeetExpr,
OpaqueTy,
Async,
Await,
ForLoop,
WhileLoop,
BoundModifier,
}
Expand description
The kind of compiler desugaring.
Variants§
CondTemporary
We desugar if c { i } else { e }
to match $ExprKind::Use(c) { true => i, _ => e }
.
However, we do not want to blame c
for unreachability but rather say that i
is unreachable. This desugaring kind allows us to avoid blaming c
.
This also applies to while
loops.
QuestionMark
TryBlock
YeetExpr
OpaqueTy
Desugaring of an impl Trait
in return type position
to an type Foo = impl Trait;
and replacing the
impl Trait
with Foo
.
Async
Await
ForLoop
WhileLoop
BoundModifier
async Fn()
bound modifier
Implementations§
Trait Implementations§
source§impl Clone for DesugaringKind
impl Clone for DesugaringKind
source§fn clone(&self) -> DesugaringKind
fn clone(&self) -> DesugaringKind
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for DesugaringKind
impl Debug for DesugaringKind
source§impl<__D: SpanDecoder> Decodable<__D> for DesugaringKind
impl<__D: SpanDecoder> Decodable<__D> for DesugaringKind
source§impl<__E: SpanEncoder> Encodable<__E> for DesugaringKind
impl<__E: SpanEncoder> Encodable<__E> for DesugaringKind
source§impl<__CTX> HashStable<__CTX> for DesugaringKindwhere
__CTX: HashStableContext,
impl<__CTX> HashStable<__CTX> for DesugaringKindwhere
__CTX: HashStableContext,
fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)
source§impl PartialEq for DesugaringKind
impl PartialEq for DesugaringKind
impl Copy for DesugaringKind
impl StructuralPartialEq for DesugaringKind
Auto Trait Implementations§
impl Freeze for DesugaringKind
impl RefUnwindSafe for DesugaringKind
impl Send for DesugaringKind
impl Sync for DesugaringKind
impl Unpin for DesugaringKind
impl UnwindSafe for DesugaringKind
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
Mutably borrows from an owned value. Read more
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)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)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>
Converts
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>
Converts
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> 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<'a, T> Captures<'a> for Twhere
T: ?Sized,
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: 1 byte
Size for each variant:
CondTemporary
: 0 bytesQuestionMark
: 0 bytesTryBlock
: 0 bytesYeetExpr
: 0 bytesOpaqueTy
: 0 bytesAsync
: 0 bytesAwait
: 0 bytesForLoop
: 0 bytesWhileLoop
: 0 bytesBoundModifier
: 0 bytes