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