Module rustc_ty_utils::representability

source · [−]
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.