Module rustc_trait_selection::traits::chalk_fulfill

Defines a Chalk-based TraitEngine

Structs

FulfillmentContext

Functions

environment
in_environment	We need to wrap a ty::Predicate in an elaborated environment before we canonicalize. This is due to the fact that we insert extra clauses into the environment for all input types (FromEnv).