Module rustc_trait_selection::traits::structural_match

Structs

Search 🔒

This implements the traversal over the structure of a given type to try to find instances of ADTs (specifically structs or enums) that do not implement the structural-match traits (StructuralPartialEq and StructuralEq).

Functions

search_for_adt_const_param_violation

This method traverses the structure of ty, trying to find any types that are not allowed to be used in a const generic.

search_for_structural_match_violation

This method traverses the structure of ty, trying to find an instance of an ADT (i.e. struct or enum) that doesn’t implement the structural-match traits, or a generic type parameter (which cannot be determined to be structural-match).