Skip to main content Module hir_utils Copy item path Source use crate::consts::ConstEvalCtxt ; 🔒 use crate::macros::macro_backtrace ; 🔒 use crate::source::SpanExt as _; 🔒 use crate::source::SpanRange ; 🔒 use crate::source::walk_span_to_context ; 🔒 use crate::sym ; 🔒 use crate::tokenize_with_text ; 🔒 use core::mem ; 🔒 use rustc_ast::ast; 🔒 use rustc_ast::ast::InlineAsmTemplatePiece; 🔒 use rustc_data_structures::fx::FxHasher; 🔒 use rustc_data_structures::fx::FxIndexMap; 🔒 use rustc_hir::MatchSource::TryDesugar; 🔒 use rustc_hir::def::DefKind; 🔒 use rustc_hir::def::Res; 🔒 use rustc_hir::def_id::DefId; 🔒 use rustc_hir::AssocItemConstraint; 🔒 use rustc_hir::BinOpKind; 🔒 use rustc_hir::BindingMode; 🔒 use rustc_hir::Block; 🔒 use rustc_hir::BodyId; 🔒 use rustc_hir::ByRef; 🔒 use rustc_hir::Closure; 🔒 use rustc_hir::ConstArg; 🔒 use rustc_hir::ConstArgKind; 🔒 use rustc_hir::ConstItemRhs; 🔒 use rustc_hir::Expr; 🔒 use rustc_hir::ExprField; 🔒 use rustc_hir::ExprKind; 🔒 use rustc_hir::FnDecl; 🔒 use rustc_hir::FnRetTy; 🔒 use rustc_hir::FnSig; 🔒 use rustc_hir::GenericArg; 🔒 use rustc_hir::GenericArgs; 🔒 use rustc_hir::GenericBound; 🔒 use rustc_hir::GenericBounds; 🔒 use rustc_hir::GenericParam; 🔒 use rustc_hir::GenericParamKind; 🔒 use rustc_hir::GenericParamSource; 🔒 use rustc_hir::Generics; 🔒 use rustc_hir::HirId; 🔒 use rustc_hir::HirIdMap; 🔒 use rustc_hir::InlineAsmOperand; 🔒 use rustc_hir::ItemId; 🔒 use rustc_hir::ItemKind; 🔒 use rustc_hir::LetExpr; 🔒 use rustc_hir::Lifetime; 🔒 use rustc_hir::LifetimeKind; 🔒 use rustc_hir::LifetimeParamKind; 🔒 use rustc_hir::Node; 🔒 use rustc_hir::ParamName; 🔒 use rustc_hir::Pat; 🔒 use rustc_hir::PatExpr; 🔒 use rustc_hir::PatExprKind; 🔒 use rustc_hir::PatField; 🔒 use rustc_hir::PatKind; 🔒 use rustc_hir::Path; 🔒 use rustc_hir::PathSegment; 🔒 use rustc_hir::PreciseCapturingArgKind; 🔒 use rustc_hir::PrimTy; 🔒 use rustc_hir::QPath; 🔒 use rustc_hir::Stmt; 🔒 use rustc_hir::StmtKind; 🔒 use rustc_hir::StructTailExpr; 🔒 use rustc_hir::TraitBoundModifiers; 🔒 use rustc_hir::Ty; 🔒 use rustc_hir::TyFieldPath; 🔒 use rustc_hir::TyKind; 🔒 use rustc_hir::TyPat; 🔒 use rustc_hir::TyPatKind; 🔒 use rustc_hir::UseKind; 🔒 use rustc_hir::UseTree; 🔒 use rustc_hir::WherePredicate; 🔒 use rustc_hir::WherePredicateKind; 🔒 use rustc_lexer::FrontmatterAllowed; 🔒 use rustc_lexer::TokenKind; 🔒 use rustc_lexer::tokenize; 🔒 use rustc_lint::LateContext; 🔒 use rustc_middle::ty::TypeckResults; 🔒 use rustc_span::BytePos; 🔒 use rustc_span::ExpnKind; 🔒 use rustc_span::MacroKind; 🔒 use rustc_span::Symbol; 🔒 use rustc_span::SyntaxContext; 🔒 use std::hash::Hash as _; 🔒 use std::hash::Hash as _; 🔒 use std::hash::Hasher as _; 🔒 use std::ops::Range ; 🔒 use std::slice ; 🔒 HirEqInterExpr SpanlessEq Type used to check whether two ast are the same. This is different from the
operator == on ast types as this operator would compare true equality with
ID and span. SpanlessHash Type used to hash an ast element. This is different from the Hash trait
on ast types as this
trait would consider IDs and spans. PathCheck Determines how paths are hashed and compared for equality. both Checks if the two Options are both None or some equal values as per
eq_fn. both_some_and Checks if the two Options are both Some and pass the predicate function. count_eq Counts how many elements of the slices are equal as per eq_fn. eq_expr_value Checks if two expressions evaluate to the same value, and don’t contain any side effects. eq_span_tokens 🔒 generic_path_segments 🔒 Returns the segments of a path that might have generic parameters.
Usually just the last segment for free items, except for when the path resolves to an associated
item, in which case it is the last two has_ambiguous_literal_in_expr Returns true if the expression contains ambiguous literals (unsuffixed float or int literals)
that could be interpreted as either f32/f64 or i32/i64 depending on context. hash_expr hash_stmt is_bool over Checks if two slices are equal as per eq_fn. reduce_exprkind 🔒 Some simple reductions like { return } => return SpanlessEqCallback 🔒 Callback that is called when two expressions are not equal in the sense of SpanlessEq, but
other conditions would make them equal.