Module rustc_trait_selection::solve::assembly::structural_traits

Code which is used by built-in goals that match “structurally”, such a auto traits, Copy/Clone.

Structs

• ReplaceProjectionWith 🔒

Functions

• extract_tupled_inputs_and_output_from_callable 🔒
• instantiate_constituent_tys_for_auto_trait 🔒
• instantiate_constituent_tys_for_copy_clone_trait 🔒
• instantiate_constituent_tys_for_sized_trait 🔒
• predicates_for_object_candidate 🔒
  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.
• replace_erased_lifetimes_with_bound_vars 🔒