Trait rustc_const_eval::check_consts::ops::NonConstOp

pub trait NonConstOp<'tcx>: Debug {
    // Required method
    fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx>;

    // Provided methods
    fn status_in_item(&self, _ccx: &ConstCx<'_, 'tcx>) -> Status { ... }
    fn importance(&self) -> DiagImportance { ... }
}

An operation that is not always allowed in a const context.

Required Methods

fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx>

Provided Methods

fn status_in_item(&self, _ccx: &ConstCx<'_, 'tcx>) -> Status

Returns an enum indicating whether this operation is allowed within the given item.

fn importance(&self) -> DiagImportance

Implementors

impl<'tcx> NonConstOp<'tcx> for MutRef

impl<'tcx> NonConstOp<'tcx> for CellBorrow

impl<'tcx> NonConstOp<'tcx> for Coroutine

impl<'tcx> NonConstOp<'tcx> for FnCallIndirect

impl<'tcx> NonConstOp<'tcx> for FnCallNonConst<'tcx>

impl<'tcx> NonConstOp<'tcx> for FnCallUnstable

impl<'tcx> NonConstOp<'tcx> for HeapAllocation

impl<'tcx> NonConstOp<'tcx> for InlineAsm

impl<'tcx> NonConstOp<'tcx> for LiveDrop<'tcx>

impl<'tcx> NonConstOp<'tcx> for MutBorrow

impl<'tcx> NonConstOp<'tcx> for MutDeref

impl<'tcx> NonConstOp<'tcx> for PanicNonStr

impl<'tcx> NonConstOp<'tcx> for RawMutPtrDeref

impl<'tcx> NonConstOp<'tcx> for RawPtrComparison

impl<'tcx> NonConstOp<'tcx> for RawPtrToIntCast

impl<'tcx> NonConstOp<'tcx> for StaticAccess

impl<'tcx> NonConstOp<'tcx> for ThreadLocalAccess

impl<'tcx> NonConstOp<'tcx> for TransientCellBorrow

impl<'tcx> NonConstOp<'tcx> for TransientMutBorrow