Function rustc_const_eval::util::is_equal_up_to_subtyping
source · pub fn is_equal_up_to_subtyping<'tcx>(
tcx: TyCtxt<'tcx>,
param_env: ParamEnv<'tcx>,
src: Ty<'tcx>,
dest: Ty<'tcx>,
) -> bool
Expand description
Returns whether the two types are equal up to subtyping.
This is used in case we don’t know the expected subtyping direction and still want to check whether anything is broken.