Trait rustc_mir::transform::check_consts::ops::NonConstOp

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

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

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

Required methods

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

Provided methods

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

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

fn importance(&self) -> DiagnosticImportance

Implementors

impl NonConstOp for CellBorrow

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

impl NonConstOp for FloatingPointOp

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

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

impl NonConstOp for FnCallIndirect

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

impl NonConstOp for FnCallNonConst

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

impl NonConstOp for FnCallUnstable

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

impl NonConstOp for FnPtrCast

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

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

impl NonConstOp for Generator

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

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

impl NonConstOp for HeapAllocation

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

impl NonConstOp for InlineAsm

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

impl NonConstOp for LiveDrop

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

impl NonConstOp for MutBorrow

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

fn importance(&self) -> DiagnosticImportance

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

impl NonConstOp for MutDeref

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

fn importance(&self) -> DiagnosticImportance

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

impl NonConstOp for Panic

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

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

impl NonConstOp for PanicNonStr

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

impl NonConstOp for RawPtrComparison

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

impl NonConstOp for RawPtrDeref

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

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

impl NonConstOp for RawPtrToIntCast

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

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

impl NonConstOp for StaticAccess

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

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

impl NonConstOp for ThreadLocalAccess

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

impl NonConstOp for TransientCellBorrow

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

fn importance(&self) -> DiagnosticImportance

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

impl NonConstOp for TransientMutBorrow

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

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

impl NonConstOp for Transmute

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

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

impl NonConstOp for UnionAccess

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

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

impl NonConstOp for FnPtr

fn importance(&self) -> DiagnosticImportance

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

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

impl NonConstOp for ImplTrait

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

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

impl NonConstOp for MutRef

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

fn importance(&self) -> DiagnosticImportance

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

impl NonConstOp for TraitBound

fn importance(&self) -> DiagnosticImportance

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

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

impl NonConstOp for TraitBoundNotConst

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

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