Enum EvaluateConstErr

Source

pub enum EvaluateConstErr<E> {
    HasGenericsOrInfers,
    InvalidConstParamTy(ErrorGuaranteed),
    EvaluationFailure(ErrorGuaranteed),
    FailedNormalization(E),
}

Variants§

§

HasGenericsOrInfers

The constant being evaluated was either a generic parameter or inference variable, or, some alias const with either generic parameters or inference variables in its generic arguments.

§

InvalidConstParamTy(ErrorGuaranteed)

The type this constant evaluated to is not valid for use in const generics. This should always result in an error when checking the constant is correctly typed for the parameter it is an argument to, so a bug is delayed when encountering this.

§

EvaluationFailure(ErrorGuaranteed)

CTFE failed to evaluate the constant in some unrecoverable way (e.g. encountered a panic!). This is also used when the constant was already tainted by error.

EvaluateConstErr

Enum EvaluateConstErr Copy item path

Variants§

HasGenericsOrInfers

InvalidConstParamTy(ErrorGuaranteed)

EvaluationFailure(ErrorGuaranteed)

FailedNormalization(E)

Trait Implementations§

impl<E: Debug> Debug for EvaluateConstErr<E>

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

Auto Trait Implementations§

impl<E> DynSend for EvaluateConstErr<E>where E: DynSend,

impl<E> DynSync for EvaluateConstErr<E>where E: DynSync,

impl<E> Freeze for EvaluateConstErr<E>where E: Freeze,

impl<E> RefUnwindSafe for EvaluateConstErr<E>where E: RefUnwindSafe,

impl<E> Send for EvaluateConstErr<E>where E: Send,

impl<E> Sync for EvaluateConstErr<E>where E: Sync,

impl<E> Unpin for EvaluateConstErr<E>where E: Unpin,

impl<E> UnsafeUnpin for EvaluateConstErr<E>where E: UnsafeUnpin,

impl<E> UnwindSafe for EvaluateConstErr<E>where E: UnwindSafe,

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T, R> CollectAndApply<T, R> for T

fn collect_and_apply<I, F>(iter: I, f: F) -> Rwhere I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

type Output = R

impl<T> ErasedDestructor for Twhere T: 'static,

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self> ⓘ

fn in_current_span(self) -> Instrumented<Self> ⓘ

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘwhere F: FnOnce(&Self) -> bool,

impl<K> IntoQueryKey<K> for K

fn into_query_key(self) -> K

impl<T> MaybeResult<T> for T

type Error = !

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<I, T, U> Upcast<I, U> for Twhere U: UpcastFrom<I, T>,

fn upcast(self, interner: I) -> U

impl<I, T> UpcastFrom<I, T> for T

fn upcast_from(from: T, _tcx: I) -> T

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘwhere S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ

Layout§

Enum EvaluateConstErr

impl<E> DynSend for EvaluateConstErr<E>
where E: DynSend,

impl<E> DynSync for EvaluateConstErr<E>
where E: DynSync,

impl<E> Freeze for EvaluateConstErr<E>
where E: Freeze,

impl<E> RefUnwindSafe for EvaluateConstErr<E>
where E: RefUnwindSafe,

impl<E> Send for EvaluateConstErr<E>
where E: Send,

impl<E> Sync for EvaluateConstErr<E>
where E: Sync,

impl<E> Unpin for EvaluateConstErr<E>
where E: Unpin,

impl<E> UnsafeUnpin for EvaluateConstErr<E>
where E: UnsafeUnpin,

impl<E> UnwindSafe for EvaluateConstErr<E>
where E: UnwindSafe,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn collect_and_apply<I, F>(iter: I, f: F) -> R
where I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

impl<T> ErasedDestructor for T
where T: 'static,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<I, T, U> Upcast<I, U> for T
where U: UpcastFrom<I, T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘ
where S: Into<Dispatch>,