Struct rustc_mir::transform::check_consts::qualifs::NeedsDrop[−][src]

pub struct NeedsDrop;
Expand description

Constant containing an ADT that implements Drop. This must be ruled out (a) because we cannot run Drop during compile-time as that might not be a const fn, and (b) because implicit promotion would remove side-effects that occur as part of dropping that value.

Trait Implementations

impl Qualif for NeedsDrop[src]

const ANALYSIS_NAME: &'static str[src]

The name of the file used to debug the dataflow analysis that computes this qualif.

const IS_CLEARED_ON_MOVE: bool[src]

Whether this Qualif is cleared when a local is moved from.

fn in_qualifs(qualifs: &ConstQualifs) -> bool[src]

Extracts the field of ConstQualifs that corresponds to this Qualif.

fn in_any_value_of_ty<'tcx>(cx: &ConstCx<'_, 'tcx>, ty: Ty<'tcx>) -> bool[src]

Returns true if any value of the given type could possibly have this Qualif. Read more

fn in_adt_inherently<'tcx>(
    cx: &ConstCx<'_, 'tcx>,
    adt: &'tcx AdtDef,
    _: SubstsRef<'tcx>
) -> bool[src]

Returns true if this Qualif is inherent to the given struct or enum. Read more

Auto Trait Implementations

impl RefUnwindSafe for NeedsDrop

impl Send for NeedsDrop

impl Sync for NeedsDrop

impl Unpin for NeedsDrop

impl UnwindSafe for NeedsDrop

Blanket Implementations

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

pub fn type_id(&self) -> TypeId[src]

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

Mutably borrows from an owned value. Read more

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

Performs the conversion.

impl<T, U> Into<U> for T where
    U: From<T>, [src]

pub fn into(self) -> U[src]

Performs the conversion.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

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]

Performs the conversion.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

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]

Performs the conversion.

impl<T> WithConstness for T[src]

fn with_constness(self, constness: Constness) -> ConstnessAnd<Self>[src]

fn with_const(self) -> ConstnessAnd<Self>[src]

fn without_const(self) -> ConstnessAnd<Self>[src]