Skip to main content Module util Copy item path Source 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 unop_homogeneous Classify whether an operator is “homogeneous”, i.e., the operand has the
same type as the result.