Module ops

Concrete error types for all operations which may be invalid in a certain const context.

Structs

• ConditionallyConstCall 🔒
  A call to a function that is in a trait, or has trait bounds that make it conditionally-const.
• Coroutine 🔒
• EscapingCellBorrow 🔒
  A borrow of a type that contains an UnsafeCell somewhere. The borrow might escape to the final value of the constant, and thus we cannot allow this (for now). We may allow it in the future for static items.
• EscapingMutBorrow 🔒
  This op is for &mut borrows in the trailing expression of a constant which uses the “enclosing scopes rule” to leak its locals into anonymous static or const items.
• FnCallIndirect 🔒
  A function call where the callee is a pointer.
• FnCallNonConst 🔒
  A function call where the callee is not marked as const.
• FnCallUnstable 🔒
  A call to an #[unstable] const fn or #[rustc_const_unstable] function.
• HeapAllocation 🔒
• InlineAsm 🔒
• IntrinsicNonConst 🔒
  A call to an intrinsic that is just not const-callable at all.
• IntrinsicUnstable 🔒
  A call to an intrinsic that is just not const-callable at all.
• LiveDrop 🔒
• PanicNonStr 🔒
  A call to a panic() lang item where the first argument is not a &str.
• RawPtrComparison 🔒
  Comparing raw pointers for equality. Not currently intended to ever be allowed, even behind a feature gate: operation depends on allocation base addresses that are not known at compile-time.
• RawPtrToIntCast 🔒
  Casting raw pointer or function pointer to an integer. Not currently intended to ever be allowed, even behind a feature gate: operation depends on allocation base addresses that are not known at compile-time.
• ThreadLocalAccess 🔒
  An access to a thread-local static.

Enums

• DiagImportance
• Status

Traits

• NonConstOp
  An operation that is not allowed in a const context.