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.