Enum ValTreeCreationError

pub enum ValTreeCreationError<'tcx> {
    NodesOverflow,
    InvalidConst,
    NonSupportedType(Ty<'tcx>),
    ErrorHandled(ErrorHandled),
}

An error type for the const_to_valtree query. Some error should be reported with a “use-site span”, which means the query cannot emit the error, so those errors are represented as dedicated variants here.

Variants

NodesOverflow

The constant is too big to be valtree’d.

InvalidConst

The constant references mutable or external memory, so it cannot be valtree’d.

NonSupportedType(Ty<'tcx>)

Values of this type, or this particular value, are not supported as valtrees.

ErrorHandled(ErrorHandled)

The error has already been handled by const evaluation.

Implementations

impl<'tcx> ValTreeCreationError<'tcx>

pub(crate) fn with_span(self, span: Span) -> Self

Trait Implementations

impl<'tcx> Clone for ValTreeCreationError<'tcx>

fn clone(&self) -> ValTreeCreationError<'tcx>

Returns a duplicate of the value.

const fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Debug for ValTreeCreationError<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for ValTreeCreationError<'tcx>

fn decode(__decoder: &mut __D) -> Self

impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for ValTreeCreationError<'tcx>

fn encode(&self, __encoder: &mut __E)

impl<'tcx> From<ErrorHandled> for ValTreeCreationError<'tcx>

fn from(err: ErrorHandled) -> Self

Converts to this type from the input type.

impl<'tcx> From<InterpErrorInfo<'tcx>> for ValTreeCreationError<'tcx>

fn from(err: InterpErrorInfo<'tcx>) -> Self

Converts to this type from the input type.

impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for ValTreeCreationError<'tcx>

fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher, )

impl<'tcx> PartialEq for ValTreeCreationError<'tcx>

fn eq(&self, other: &ValTreeCreationError<'tcx>) -> bool

Tests for self and other values to be equal, and is used by ==.

const fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'tcx> Copy for ValTreeCreationError<'tcx>

impl<'tcx> Eq for ValTreeCreationError<'tcx>

impl<'tcx> StructuralPartialEq for ValTreeCreationError<'tcx>

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 16 bytes

Size for each variant:

• NodesOverflow: 0 bytes
• InvalidConst: 0 bytes
• NonSupportedType: 12 bytes
• ErrorHandled: 12 bytes