Function is_equal_up_to_subtyping

pub fn is_equal_up_to_subtyping<'tcx>(
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    src: Ty<'tcx>,
    dest: Ty<'tcx>,
) -> bool

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.