Enum rustc_span::hygiene::DesugaringKind[−][src]

pub enum DesugaringKind {
    CondTemporary,
    QuestionMark,
    TryBlock,
    OpaqueTy,
    Async,
    Await,
    ForLoop(ForLoopLoc),
    LetElse,
    WhileLoop,
}

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

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(ForLoopLoc)

Tuple Fields of ForLoop

0: ForLoopLoc

LetElse

WhileLoop

Enum rustc_span::hygiene::DesugaringKind[−][src]

Variants

Tuple Fields of ForLoop

Implementations

impl DesugaringKind

pub fn descr(self) -> &'static str

Trait Implementations

impl Clone for DesugaringKind

fn clone(&self) -> DesugaringKind

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

impl Debug for DesugaringKind

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

impl<__D: Decoder> Decodable<__D> for DesugaringKind

fn decode(__decoder: &mut __D) -> Result<Self, <__D as Decoder>::Error>

impl<__E: Encoder> Encodable<__E> for DesugaringKind

fn encode(&self, __encoder: &mut __E) -> Result<(), <__E as Encoder>::Error>

impl<__CTX> HashStable<__CTX> for DesugaringKind where __CTX: HashStableContext,

fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)

impl PartialEq<DesugaringKind> for DesugaringKind

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

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

impl Copy for DesugaringKind

impl StructuralPartialEq for DesugaringKind

Auto Trait Implementations

impl RefUnwindSafe for DesugaringKind

impl Send for DesugaringKind

impl Sync for DesugaringKind

impl Unpin for DesugaringKind

impl UnwindSafe for DesugaringKind

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

pub fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

pub fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

pub fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

pub fn from(t: T) -> T

impl<T, U> Into<U> for T where U: From<T>,

pub fn into(self) -> U

impl<T> ToOwned for T where T: Clone,

type Owned = T

pub fn to_owned(&self) -> T

pub fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Layout

impl<D: Decoder> Decodable<D> for DesugaringKind

fn decode(decoder: &mut D) -> Result<Self, <__D as Decoder>::Error>

impl<E: Encoder> Encodable<E> for DesugaringKind

fn encode(&self, encoder: &mut E) -> Result<(), <__E as Encoder>::Error>

impl<CTX> HashStable<CTX> for DesugaringKind where
__CTX: HashStableContext,

fn hash_stable(&self, hcx: &mut CTX, __hasher: &mut StableHasher)

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T> ToOwned for T where
T: Clone,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,