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

pub trait NonConstOp: Debug {
    fn feature_gate() -> Option<Symbol> { ... }
    fn is_allowed_in_item(&self, ccx: &ConstCx<'_, '_>) -> bool { ... }
    fn emit_error(&self, ccx: &ConstCx<'_, '_>, span: Span) { ... }
}

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

Provided methods

fn feature_gate() -> Option<Symbol>

Returns the Symbol corresponding to the feature gate that would enable this operation, or None if such a feature gate does not exist.

fn is_allowed_in_item(&self, ccx: &ConstCx<'_, '_>) -> bool

Returns true if this operation is allowed in the given item.

This check should assume that we are not in a non-const fn, where all operations are legal.

By default, it returns true if and only if this operation has a corresponding feature gate and that gate is enabled.

fn emit_error(&self, ccx: &ConstCx<'_, '_>, span: Span)

Loading content...

Implementors

impl NonConstOp for CellBorrow

fn emit_error(&self, ccx: &ConstCx<'_, '_>, span: Span)

impl NonConstOp for FnCallIndirect

fn emit_error(&self, ccx: &ConstCx<'_, '_>, span: Span)

impl NonConstOp for FnCallNonConst

fn emit_error(&self, ccx: &ConstCx<'_, '_>, span: Span)

impl NonConstOp for FnCallUnstable

fn emit_error(&self, ccx: &ConstCx<'_, '_>, span: Span)

impl NonConstOp for HeapAllocation

fn emit_error(&self, ccx: &ConstCx<'_, '_>, span: Span)

impl NonConstOp for InlineAsm

impl NonConstOp for LiveDrop

fn emit_error(&self, ccx: &ConstCx<'_, '_>, span: Span)

impl NonConstOp for MutAddressOf

fn feature_gate() -> Option<Symbol>

fn emit_error(&self, ccx: &ConstCx<'_, '_>, span: Span)

impl NonConstOp for MutBorrow

fn is_allowed_in_item(&self, ccx: &ConstCx<'_, '_>) -> bool

fn feature_gate() -> Option<Symbol>

fn emit_error(&self, ccx: &ConstCx<'_, '_>, span: Span)

impl NonConstOp for MutDeref

fn feature_gate() -> Option<Symbol>

impl NonConstOp for Panic

fn feature_gate() -> Option<Symbol>

fn emit_error(&self, ccx: &ConstCx<'_, '_>, span: Span)

impl NonConstOp for RawPtrComparison

fn emit_error(&self, ccx: &ConstCx<'_, '_>, span: Span)

impl NonConstOp for RawPtrDeref

fn feature_gate() -> Option<Symbol>

fn emit_error(&self, ccx: &ConstCx<'_, '_>, span: Span)

impl NonConstOp for RawPtrToIntCast

fn feature_gate() -> Option<Symbol>

fn emit_error(&self, ccx: &ConstCx<'_, '_>, span: Span)

impl NonConstOp for StaticAccess

fn is_allowed_in_item(&self, ccx: &ConstCx<'_, '_>) -> bool

fn emit_error(&self, ccx: &ConstCx<'_, '_>, span: Span)

impl NonConstOp for ThreadLocalAccess

fn emit_error(&self, ccx: &ConstCx<'_, '_>, span: Span)

impl NonConstOp for UnionAccess

fn is_allowed_in_item(&self, ccx: &ConstCx<'_, '_>) -> bool

fn feature_gate() -> Option<Symbol>

fn emit_error(&self, ccx: &ConstCx<'_, '_>, span: Span)

Loading content...