Module hir_visitor

Structs

• ContainsLit
• ContainsUnsafe
• RelatedFnCollector

Functions

• create_adt_impl_map
  Create & initialize AdtImplMap. AdtImplMap is initialized before analysis of each crate, avoiding quadratic complexity of scanning all impl blocks for each ADT.

Type Aliases

• AdtImplMap
  (DefId of ADT) => Vec<(HirId of relevant impl block, impl_self_ty)> We use this map to quickly access associated impl blocks per ADT. impl_self_ty in the return value may differ from tcx.type_of(ADT.DefID), as different instantiations of the same ADT are distinct Tys. (e.g. Foo<i32, i64>, Foo<String, i32>)
• RelatedItemMap
  Maps HirId of a type to BodyId of related impls.