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

is_equal_up_to_subtyping
Returns whether the two types are equal up to subtyping.
is_subtype
Returns whether src is a subtype of dest, i.e. src <: dest.