Module util

Modules§

alignment 🔒
caller_location 🔒
check_validity_requirement 🔒
compare_types 🔒: Routines to check for relations between fully inferred types.
type_name 🔒

binop_left_homogeneous: Classify whether an operator is “left-homogeneous”, i.e., the LHS has the same type as the result.
binop_right_homogeneous: Classify whether an operator is “right-homogeneous”, i.e., the RHS has the same type as the LHS.
check_validity_requirement: Determines if this type permits “raw” initialization by just transmuting some memory into an instance of T.
is_disaligned: Returns true if this place is allowed to be less aligned than its containing struct (because it is within a packed struct).
is_within_packed
relate_types: Returns whether src is a subtype of dest, i.e. src <: dest.
sub_types: Returns whether src is a subtype of dest, i.e. src <: dest.
type_name