Module rustc_trait_selection::solve::assembly::structural_traits
source · Structs
Functions
- Assemble a list of predicates that would be present on a theoretical user impl for an object type. These predicates must be checked any time we assemble a built-in object candidate for an object type, since they are not implied by the well-formedness of the type.