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.
most_packed_projection: If the place includes a projection from a packed struct, returns the AdtDef and packed alignment of the projection with the lowest pack
place_unalignment: If the place may be less aligned than its type requires (because it is in a packed type), returns the AdtDef and packed alignment of its most-unaligned projection.
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