Module rustc_const_eval::util::compare_types
source · Expand description
Routines to check for relations between fully inferred types.
FIXME: Move this to a more general place. The utility of this extends to other areas of the compiler as well.
Functions§
- Returns whether the two types are equal up to subtyping.
- Returns whether
src
is a subtype ofdest
, i.e.src <: dest
.