Module rustc_ty_utils::representability [−][src]
Expand description
Check whether a type is representable.
Enums
| Representability | Describes whether a type is representable. For types that are not representable, ‘SelfRecursive’ and ‘ContainsRecursive’ are used to distinguish between types that are recursive with themselves and types that contain a different recursive type. These cases can therefore be treated differently when reporting errors. |
Functions
| are_inner_types_recursive | |
| fold_repr | |
| is_type_structurally_recursive | |
| is_type_structurally_recursive_inner | |
| same_adt | |
| ty_is_representable | Check whether a type is representable. This means it cannot contain unboxed structural recursion. This check is needed for structs and enums. |