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_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