Struct rustc_middle::ty::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) -> Self

Trait Implementations

impl<T: Clone> Clone for ExpectedFound<T>

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> Debug for ExpectedFound<T>

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

Formats the value using the given formatter.

impl<T: PartialEq> PartialEq<ExpectedFound<T>> for ExpectedFound<T>

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<'tcx, T> TypeFoldable<TyCtxt<'tcx>> for ExpectedFound<T>where T: TypeFoldable<TyCtxt<'tcx>>,

fn try_fold_with<__F: FallibleTypeFolder<TyCtxt<'tcx>>>( self, __folder: &mut __F ) -> Result<Self, __F::Error>

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) -> Selfwhere 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<'tcx, T> TypeVisitable<TyCtxt<'tcx>> for ExpectedFound<T>where T: TypeVisitable<TyCtxt<'tcx>>,

fn visit_with<__V: TypeVisitor<TyCtxt<'tcx>>>( &self, __visitor: &mut __V ) -> ControlFlow<__V::BreakTy>

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

impl<T: Copy> Copy for ExpectedFound<T>

impl<T: Eq> Eq for ExpectedFound<T>

impl<T> StructuralEq for ExpectedFound<T>

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.