Struct const_panic::fmt::IsPanicFmt

pub struct IsPanicFmt<S: ?Sized, T: ?Sized, K> { /* fields omitted */ }

A marker type that proves that S implements PanicFmt<This = T, Kind = K>.

Used by const_panic macros to coerce both standard library and user-defined types into some type that has a to_panicvals method.

Implementations

impl<T: PanicFmt + ?Sized> IsPanicFmt<T, T::This, T::Kind>

pub const NEW: Self

Constucts an IsPanicFmt

impl<S: ?Sized, T: ?Sized, K> IsPanicFmt<S, T, K>

pub const fn infer(self, _: &S) -> Self

Infers the S type parameter with the argument.

Because the only ways to construct IsPanicFmt use IsPanicFmt<S, S::This, S::Kind>, the other type parameters are inferred along with S.

impl<S: ?Sized, T: ?Sized> IsPanicFmt<S, T, IsStdType>

pub const fn coerce(self, x: &T) -> StdWrapper<&T>

For coercing &T to StdWrapper<&T>.

impl<S: ?Sized, T: ?Sized> IsPanicFmt<S, T, IsCustomType>

pub const fn coerce(self, x: &T) -> &T

For coercing &T (with any amount of stacked references) to &T.

Trait Implementations

impl<S: ?Sized, T: ?Sized, K> Clone for IsPanicFmt<S, T, K>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<S: ?Sized, T: ?Sized, K> Copy for IsPanicFmt<S, T, K>