Struct rustc_const_eval::transform::check_consts::qualifs::NeedsNonConstDrop
source · pub struct NeedsNonConstDrop;
Expand description
Constant containing an ADT that implements non-const Drop
.
This must be ruled out because we cannot run Drop
during compile-time.
Trait Implementations
sourceimpl Qualif for NeedsNonConstDrop
impl Qualif for NeedsNonConstDrop
sourceconst ANALYSIS_NAME: &'static str = "flow_needs_nonconst_drop"
const ANALYSIS_NAME: &'static str = "flow_needs_nonconst_drop"
The name of the file used to debug the dataflow analysis that computes this qualif.
sourceconst IS_CLEARED_ON_MOVE: bool = true
const IS_CLEARED_ON_MOVE: bool = true
Whether this
Qualif
is cleared when a local is moved from.sourceconst ALLOW_PROMOTED: bool = true
const ALLOW_PROMOTED: bool = true
Whether this
Qualif
might be evaluated after the promotion and can encounter a promoted.sourcefn in_qualifs(qualifs: &ConstQualifs) -> bool
fn in_qualifs(qualifs: &ConstQualifs) -> bool
Extracts the field of
ConstQualifs
that corresponds to this Qualif
.sourcefn in_any_value_of_ty<'tcx>(cx: &ConstCx<'_, 'tcx>, ty: Ty<'tcx>) -> bool
fn in_any_value_of_ty<'tcx>(cx: &ConstCx<'_, 'tcx>, ty: Ty<'tcx>) -> bool
Auto Trait Implementations
impl RefUnwindSafe for NeedsNonConstDrop
impl Send for NeedsNonConstDrop
impl Sync for NeedsNonConstDrop
impl Unpin for NeedsNonConstDrop
impl UnwindSafe for NeedsNonConstDrop
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
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: 0 bytes