diff options
| author | lcnr <rust@lcnr.de> | 2023-06-12 11:58:40 +0200 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2023-06-12 11:58:40 +0200 |
| commit | f45502d20d771503281e5d1159be6e60a0b9d188 (patch) | |
| tree | 60d085ee681520660df84f23e264ebfb17d4d302 | |
| parent | 77dba225c1048e5585b2cdefb7f8588bd2d2741b (diff) | |
| download | rust-f45502d20d771503281e5d1159be6e60a0b9d188.tar.gz rust-f45502d20d771503281e5d1159be6e60a0b9d188.zip | |
extend assert
| -rw-r--r-- | compiler/rustc_infer/src/infer/combine.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/rustc_infer/src/infer/combine.rs b/compiler/rustc_infer/src/infer/combine.rs index 7a80ee98cb3..bb2bd2faec2 100644 --- a/compiler/rustc_infer/src/infer/combine.rs +++ b/compiler/rustc_infer/src/infer/combine.rs @@ -34,7 +34,7 @@ use rustc_middle::infer::unify_key::{ConstVarValue, ConstVariableValue}; use rustc_middle::infer::unify_key::{ConstVariableOrigin, ConstVariableOriginKind}; use rustc_middle::ty::error::{ExpectedFound, TypeError}; use rustc_middle::ty::relate::{RelateResult, TypeRelation}; -use rustc_middle::ty::{self, AliasKind, InferConst, ToPredicate, Ty, TyCtxt, TypeVisitableExt}; +use rustc_middle::ty::{self, InferConst, ToPredicate, Ty, TyCtxt, TypeVisitableExt}; use rustc_middle::ty::{IntType, UintType}; use rustc_span::DUMMY_SP; @@ -103,12 +103,12 @@ impl<'tcx> InferCtxt<'tcx> { // We don't expect `TyVar` or `Fresh*` vars at this point with lazy norm. ( - ty::Alias(AliasKind::Projection, _), + ty::Alias(..), ty::Infer(ty::TyVar(_) | ty::FreshTy(_) | ty::FreshIntTy(_) | ty::FreshFloatTy(_)), ) | ( ty::Infer(ty::TyVar(_) | ty::FreshTy(_) | ty::FreshIntTy(_) | ty::FreshFloatTy(_)), - ty::Alias(AliasKind::Projection, _), + ty::Alias(..), ) if self.next_trait_solver() => { bug!() } |
