diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-11-17 15:30:42 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-11-21 20:36:15 +0000 |
| commit | 4d9451b1d1e334e90e6725d5577545eae4e28545 (patch) | |
| tree | 1b73efa60256650d13d9a21c98f606cf1f5bdbd4 /compiler/rustc_mir_build/src | |
| parent | a9f3c2209c6ac4ff36df1816b842d0a1c1540624 (diff) | |
| download | rust-4d9451b1d1e334e90e6725d5577545eae4e28545.tar.gz rust-4d9451b1d1e334e90e6725d5577545eae4e28545.zip | |
Fix an ICE that I just made worse
Diffstat (limited to 'compiler/rustc_mir_build/src')
| -rw-r--r-- | compiler/rustc_mir_build/src/thir/pattern/const_to_pat.rs | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/compiler/rustc_mir_build/src/thir/pattern/const_to_pat.rs b/compiler/rustc_mir_build/src/thir/pattern/const_to_pat.rs index 1ed954bdd46..4364fca9739 100644 --- a/compiler/rustc_mir_build/src/thir/pattern/const_to_pat.rs +++ b/compiler/rustc_mir_build/src/thir/pattern/const_to_pat.rs @@ -1,7 +1,6 @@ use rustc_errors::DelayDm; use rustc_hir as hir; use rustc_index::vec::Idx; -use rustc_infer::infer::type_variable::{TypeVariableOrigin, TypeVariableOriginKind}; use rustc_infer::infer::{InferCtxt, TyCtxtInferExt}; use rustc_middle::mir::{self, Field}; use rustc_middle::thir::{FieldPat, Pat, PatKind}; @@ -227,13 +226,6 @@ impl<'tcx> ConstToPat<'tcx> { // using `PartialEq::eq` in this scenario in the past.) let partial_eq_trait_id = self.tcx().require_lang_item(hir::LangItem::PartialEq, Some(self.span)); - let any_ty = self - .infcx - .next_ty_var(TypeVariableOrigin { - kind: TypeVariableOriginKind::MiscVariable, - span: self.span, - }) - .into(); let obligation: PredicateObligation<'_> = predicate_for_trait_def( self.tcx(), self.param_env, @@ -241,7 +233,7 @@ impl<'tcx> ConstToPat<'tcx> { partial_eq_trait_id, 0, ty, - [any_ty], + [ty.into()], ); // FIXME: should this call a `predicate_must_hold` variant instead? |
