Struct rustc_trait_selection::infer::canonical::ir::error::ExpectedFound

pub struct ExpectedFound<T> {
    pub expected: T,
    pub found: T,
}

Fields

expected: T

found: T

Implementations

impl<T> ExpectedFound<T>

pub fn new(a_is_expected: bool, a: T, b: T) -> ExpectedFound<T>

Trait Implementations

impl<T> Clone for ExpectedFound<T>

where T: Clone,

fn clone(&self) -> ExpectedFound<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T> Debug for ExpectedFound<T>

where T: Debug,

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

Formats the value using the given formatter.

impl<T> PartialEq for ExpectedFound<T>

where T: PartialEq,

fn eq(&self, other: &ExpectedFound<T>) -> bool

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

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<T, I> TypeFoldable<I> for ExpectedFound<T>

where I: Interner, T: TypeFoldable<I>,

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<ExpectedFound<T>, <__F as FallibleTypeFolder<I>>::Error>

where __F: FallibleTypeFolder<I>,

The entry point for folding. To fold a value t with a folder f call: t.try_fold_with(f).

fn fold_with<F>(self, folder: &mut F) -> Self

where F: TypeFolder<I>,

A convenient alternative to try_fold_with for use with infallible folders. Do not override this method, to ensure coherence with try_fold_with.

impl<T, I> TypeVisitable<I> for ExpectedFound<T>

where I: Interner, T: TypeVisitable<I>,

fn visit_with<__V>( &self, __visitor: &mut __V, ) -> <__V as TypeVisitor<I>>::Result

where __V: TypeVisitor<I>,

The entry point for visiting. To visit a value t with a visitor v call: t.visit_with(v).

impl<T> Copy for ExpectedFound<T>

where T: Copy,

impl<T> Eq for ExpectedFound<T>

where T: Eq,

impl<T> StructuralPartialEq for ExpectedFound<T>

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.