Module misc

Miscellaneous type-system utilities that are too small to deserve their own modules.

Enums

ConstParamTyImplementationError

CopyImplementationError

InfringingFieldsReason

Functions

all_fields_implement_trait

Check that all fields of a given adt implement lang_item trait.

type_allowed_to_implement_const_param_ty

Checks that the fields of the type (an ADT) all implement (Unsized?)ConstParamTy.

type_allowed_to_implement_copy

Checks that the fields of the type (an ADT) all implement copy.