Module rustc_ty_utils::representability

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.