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

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

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

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

Required methods

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

Loading content...

Provided methods

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

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

pub fn importance(&self) -> DiagnosticImportance

Loading content...

Implementors

impl NonConstOp for CellBorrow

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

impl NonConstOp for FloatingPointOp

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

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

impl NonConstOp for FnCallIndirect

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

impl NonConstOp for FnCallNonConst

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

impl NonConstOp for FnCallUnstable

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

impl NonConstOp for FnPtrCast

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

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

impl NonConstOp for Generator

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

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

impl NonConstOp for HeapAllocation

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

impl NonConstOp for InlineAsm

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

impl NonConstOp for LiveDrop

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

impl NonConstOp for MutBorrow

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

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

impl NonConstOp for MutDeref

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

pub fn importance(&self) -> DiagnosticImportance

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

impl NonConstOp for Panic

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

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

impl NonConstOp for RawPtrComparison

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

impl NonConstOp for RawPtrDeref

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

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

impl NonConstOp for RawPtrToIntCast

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

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

impl NonConstOp for StaticAccess

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

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

impl NonConstOp for ThreadLocalAccess

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

impl NonConstOp for Transmute

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

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

impl NonConstOp for UnionAccess

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

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

impl NonConstOp for UnsizingCast

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

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

impl NonConstOp for FnPtr

pub fn importance(&self) -> DiagnosticImportance

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

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

impl NonConstOp for ImplTrait

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

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

impl NonConstOp for MutRef

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

pub fn importance(&self) -> DiagnosticImportance

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

impl NonConstOp for TraitBound

pub fn importance(&self) -> DiagnosticImportance

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

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

impl NonConstOp for TraitBoundNotConst

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

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

Loading content...