Function rustc_trait_selection::infer::error_reporting::same_type_modulo_infer

pub fn same_type_modulo_infer(a: Ty<'tcx>, b: Ty<'tcx>) -> bool

Structurally compares two types, modulo any inference variables.

Returns true if two types are equal, or if one type is an inference variable compatible with the other type. A TyVar inference type is compatible with any type, and an IntVar or FloatVar inference type are compatible with themselves or their concrete types (Int and Float types, respectively). When comparing two ADTs, these rules apply recursively.