deep reject only unify numeric var with concrete numeric

2023-03-30 02:13:24 +00:00 · 2023-03-30 02:13:24 +00:00 · 1d7192d6ea
commit 1d7192d6ea
parent 17c1167216
1 changed files with 4 additions and 0 deletions
--- a/compiler/rustc_middle/src/ty/fast_reject.rs
+++ b/compiler/rustc_middle/src/ty/fast_reject.rs
@ -321,6 +321,10 @@ impl DeepRejectCtxt {
                TreatParams::AsCandidateKey => true,
            },

+            ty::Infer(ty::IntVar(_)) => impl_ty.is_integral(),
+
+            ty::Infer(ty::FloatVar(_)) => impl_ty.is_floating_point(),
+
            ty::Infer(_) => true,

            // As we're walking the whole type, it may encounter projections