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
.