Module util

Modules

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

Functions

• 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_equal_up_to_subtyping
  Returns whether the two types are equal up to subtyping.
• is_within_packed
• relate_types
  Returns whether src is a subtype of dest, i.e. src <: dest.
• type_name