diff options
| author | Yuki Okushi <jtitor@2k36.org> | 2023-03-30 21:07:02 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-30 21:07:02 +0900 |
| commit | e1f4ddfdd92cfe40f6565f0f6c999dc77612e55f (patch) | |
| tree | a0d45a34004f5800897848375fbea5804a8a7694 /compiler | |
| parent | c1b28c3435e6ae5297f4c888c9c3ac494fe8e26f (diff) | |
| parent | 977694aaec6dce9b03979cbe1b146352502c2e33 (diff) | |
| download | rust-e1f4ddfdd92cfe40f6565f0f6c999dc77612e55f.tar.gz rust-e1f4ddfdd92cfe40f6565f0f6c999dc77612e55f.zip | |
Rollup merge of #109749 - compiler-errors:new-solver-float-var, r=lcnr
Canonicalize float var as float in new solver Typo in new canonicalizer -- we should be canonicalizing float vars as `CanonicalTyVarKind::Float`, not `CanonicalTyVarKind::Int`. Fixes compiler-errors/next-solver-hir-issues#9
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/canonicalize.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/canonicalize.rs b/compiler/rustc_trait_selection/src/solve/canonicalize.rs index 7ee4f332306..2e5a8b7debc 100644 --- a/compiler/rustc_trait_selection/src/solve/canonicalize.rs +++ b/compiler/rustc_trait_selection/src/solve/canonicalize.rs @@ -291,7 +291,7 @@ impl<'tcx> TypeFolder<TyCtxt<'tcx>> for Canonicalizer<'_, 'tcx> { if nt != t { return self.fold_ty(nt); } else { - CanonicalVarKind::Ty(CanonicalTyVarKind::Int) + CanonicalVarKind::Ty(CanonicalTyVarKind::Float) } } ty::Infer(ty::FreshTy(_) | ty::FreshIntTy(_) | ty::FreshFloatTy(_)) => { |