pub struct HirEqInterExpr<'a, 'b, 'tcx> {
    inner: &'a mut SpanlessEq<'b, 'tcx>,
    left_ctxt: SyntaxContext,
    right_ctxt: SyntaxContext,
    pub locals: HirIdMap<HirId>,
}

Fields§

§inner: &'a mut SpanlessEq<'b, 'tcx>§left_ctxt: SyntaxContext§right_ctxt: SyntaxContext§locals: HirIdMap<HirId>

Implementations§

source§

impl HirEqInterExpr<'_, '_, '_>

source

pub fn eq_stmt(&mut self, left: &Stmt<'_>, right: &Stmt<'_>) -> bool

source

fn eq_block(&mut self, left: &Block<'_>, right: &Block<'_>) -> bool

Checks whether two blocks are the same.

source

fn should_ignore(&mut self, expr: &Expr<'_>) -> bool

source

pub fn eq_array_length(&mut self, left: ArrayLen, right: ArrayLen) -> bool

source

pub fn eq_body(&mut self, left: BodyId, right: BodyId) -> bool

source

pub fn eq_expr(&mut self, left: &Expr<'_>, right: &Expr<'_>) -> bool

source

fn eq_exprs(&mut self, left: &[Expr<'_>], right: &[Expr<'_>]) -> bool

source

fn eq_expr_field(&mut self, left: &ExprField<'_>, right: &ExprField<'_>) -> bool

source

fn eq_guard(&mut self, left: &Guard<'_>, right: &Guard<'_>) -> bool

source

fn eq_generic_arg( &mut self, left: &GenericArg<'_>, right: &GenericArg<'_> ) -> bool

source

fn eq_lifetime(left: &Lifetime, right: &Lifetime) -> bool

source

fn eq_pat_field(&mut self, left: &PatField<'_>, right: &PatField<'_>) -> bool

source

fn eq_pat(&mut self, left: &Pat<'_>, right: &Pat<'_>) -> bool

Checks whether two patterns are the same.

source

fn eq_qpath(&mut self, left: &QPath<'_>, right: &QPath<'_>) -> bool

source

pub fn eq_path(&mut self, left: &Path<'_>, right: &Path<'_>) -> bool

source

fn eq_path_parameters( &mut self, left: &GenericArgs<'_>, right: &GenericArgs<'_> ) -> bool

source

pub fn eq_path_segments( &mut self, left: &[PathSegment<'_>], right: &[PathSegment<'_>] ) -> bool

source

pub fn eq_path_segment( &mut self, left: &PathSegment<'_>, right: &PathSegment<'_> ) -> bool

source

pub fn eq_ty(&mut self, left: &Ty<'_>, right: &Ty<'_>) -> bool

source

fn eq_type_binding( &mut self, left: &TypeBinding<'_>, right: &TypeBinding<'_> ) -> bool

source

fn check_ctxt(&mut self, left: SyntaxContext, right: SyntaxContext) -> bool

Auto Trait Implementations§

§

impl<'a, 'b, 'tcx> !RefUnwindSafe for HirEqInterExpr<'a, 'b, 'tcx>

§

impl<'a, 'b, 'tcx> !Send for HirEqInterExpr<'a, 'b, 'tcx>

§

impl<'a, 'b, 'tcx> !Sync for HirEqInterExpr<'a, 'b, 'tcx>

§

impl<'a, 'b, 'tcx> Unpin for HirEqInterExpr<'a, 'b, 'tcx>

§

impl<'a, 'b, 'tcx> !UnwindSafe for HirEqInterExpr<'a, 'b, 'tcx>

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

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

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

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

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

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

Performs the conversion.
source§

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

§

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

The type returned in the event of a conversion error.
source§

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

Performs the conversion.

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: 72 bytes