diff options
| author | bors <bors@rust-lang.org> | 2023-12-08 02:28:10 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-12-08 02:28:10 +0000 |
| commit | 21982a4383a92ec00ec11204584b86f3f17c92ef (patch) | |
| tree | acfa426871ae9cc0d4e21e70b02785b6e7d26d5a /compiler/rustc_smir/src | |
| parent | d6fa38a9b2426487e010a6c16862132f89755e41 (diff) | |
| parent | ac50f4b5719921b139161c298f81d43367ccd127 (diff) | |
| download | rust-21982a4383a92ec00ec11204584b86f3f17c92ef.tar.gz rust-21982a4383a92ec00ec11204584b86f3f17c92ef.zip | |
Auto merge of #118725 - lcnr:normalizes-to-projection-split-3, r=BoxyUwU
split `NormalizesTo` out of `Projection` 3 third attempt at #112658. Rebasing #116262 is very annoying, so I am doing it again from scratch. We should now be able to merge it without regressing anything as we handle occurs check failures involving aliases correctly since #117088. see https://hackmd.io/ktEL8knTSYmtdfrMMnA-Hg fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/1 r? `@compiler-errors`
Diffstat (limited to 'compiler/rustc_smir/src')
| -rw-r--r-- | compiler/rustc_smir/src/rustc_smir/convert/ty.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_smir/src/rustc_smir/convert/ty.rs b/compiler/rustc_smir/src/rustc_smir/convert/ty.rs index 4fe847c291c..cbdddc30072 100644 --- a/compiler/rustc_smir/src/rustc_smir/convert/ty.rs +++ b/compiler/rustc_smir/src/rustc_smir/convert/ty.rs @@ -601,6 +601,7 @@ impl<'tcx> Stable<'tcx> for ty::PredicateKind<'tcx> { stable_mir::ty::PredicateKind::ConstEquate(a.stable(tables), b.stable(tables)) } PredicateKind::Ambiguous => stable_mir::ty::PredicateKind::Ambiguous, + PredicateKind::NormalizesTo(_pred) => unimplemented!(), PredicateKind::AliasRelate(a, b, alias_relation_direction) => { stable_mir::ty::PredicateKind::AliasRelate( a.unpack().stable(tables), |