Struct rustc_const_eval::transform::check_consts::ops::CellBorrow
source · pub struct CellBorrow;
Expand description
A borrow of a type that contains an UnsafeCell
somewhere. The borrow might escape to
the final value of the constant, and thus we cannot allow this (for now). We may allow
it in the future for static items.
Trait Implementations§
source§impl Debug for CellBorrow
impl Debug for CellBorrow
source§impl<'tcx> NonConstOp<'tcx> for CellBorrow
impl<'tcx> NonConstOp<'tcx> for CellBorrow
fn importance(&self) -> DiagImportance
fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx>
source§fn status_in_item(&self, _ccx: &ConstCx<'_, 'tcx>) -> Status
fn status_in_item(&self, _ccx: &ConstCx<'_, 'tcx>) -> Status
Returns an enum indicating whether this operation is allowed within the given item.
Auto Trait Implementations§
impl DynSend for CellBorrow
impl DynSync for CellBorrow
impl Freeze for CellBorrow
impl RefUnwindSafe for CellBorrow
impl Send for CellBorrow
impl Sync for CellBorrow
impl Unpin for CellBorrow
impl UnwindSafe for CellBorrow
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, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
§impl<T> Filterable for T
impl<T> Filterable for T
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<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<'tcx, T> ToPredicate<'tcx, T> for T
impl<'tcx, T> ToPredicate<'tcx, T> for T
fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed ) -> T
source§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,
impl<T> ErasedDestructor for Twhere
T: 'static,
impl<T> MaybeSendSync for T
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