Trait rustc_const_eval::transform::check_consts::ops::NonConstOp

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

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

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

Required Methods

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

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) -> DiagnosticImportance

Implementors

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

impl<'tcx> NonConstOp<'tcx> for FloatingPointOp

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

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

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

impl<'tcx> NonConstOp<'tcx> for Generator

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

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

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

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

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