Enum DesugaringKind

Source

pub enum DesugaringKind {
    CondTemporary,
    QuestionMark,
    TryBlock,
    YeetExpr,
    OpaqueTy,
    Async,
    Await,
    ForLoop,
    WhileLoop,
    BoundModifier,
    IndexBoundsCheckReborrow,
}

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.

§

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

§

IndexBoundsCheckReborrow

Marks a &raw const *_1 needed as part of getting the length of a mutable slice for the bounds check, so that MIRI’s retag handling can recognize it.

Enum DesugaringKindCopy item path

Variants§

CondTemporary

QuestionMark

TryBlock

YeetExpr

OpaqueTy

Async

Await

ForLoop

WhileLoop

BoundModifier

IndexBoundsCheckReborrow

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: SpanDecoder> Decodable<__D> for DesugaringKind

fn decode(__decoder: &mut __D) -> Self

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

fn encode(&self, __encoder: &mut __E)

impl<__CTX> HashStable<__CTX> for DesugaringKindwhere __CTX: HashStableContext,

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

impl PartialEq for DesugaringKind

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

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

impl Copy for DesugaringKind

impl StructuralPartialEq for DesugaringKind

Auto Trait Implementations§

impl DynSend for DesugaringKind

impl DynSync for DesugaringKind

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§

impl<T> Aligned for T

const ALIGN: Alignment = _

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dst: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

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

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<T> Pointable for T

const ALIGN: usize = _

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

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

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

type Error = Infallible

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

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

Enum DesugaringKind

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

fn decode(decoder: &mut D) -> Self

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

fn encode(&self, encoder: &mut E)

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> CloneToUninit for T
where T: Clone,

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

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

impl<'a, T> Captures<'a> for T
where T: ?Sized,