Module hax_frontend_exporter::traits::resolution

Trait resolution: given a trait reference, we track which local clause caused it to be true. This module is independent from the rest of hax, in particular it doesn’t use its state-tracking machinery.

Modules

• copy_paste_from_rustc 🔒

Structs

• AnnotatedTraitPred
• Candidate 🔒
  A candidate projects self along a path reaching some predicate. A candidate is selected when its predicate is the one expected, aka target.
• ImplExpr
• PredicateSearcher
  Stores a set of predicates along with where they came from.

Enums

• BoundPredicateOrigin
  Items have various predicates in scope. path_to uses them as a starting point for trait resolution. This tracks where each of them comes from.
• ImplExprAtom
• PathChunk

Functions

• initial_search_predicates 🔒
  The predicates to use as a starting point for resolving trait references within this item. This is just like TyCtxt::predicates_of, but in the case of a trait or impl item or closures, also includes the predicates defined on the parents.
• parents_trait_predicates 🔒

Type Aliases

• Path