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.