diff options
| author | Ralf Jung <post@ralfj.de> | 2020-05-14 10:22:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-14 10:22:59 +0200 |
| commit | e5f31e0a3eb8d839f1e3b7db8ce7f5c685e4bc0c (patch) | |
| tree | 427659fe5985a99c86f716b531b3a8a5d3dd026c /src/librustc_mir/interpret | |
| parent | 18d7c3462549cad50ad22fd4b53155f9a9f15eb9 (diff) | |
| parent | 41f6b958d502b3e3d4de1b787a3981c9d752dd78 (diff) | |
| download | rust-e5f31e0a3eb8d839f1e3b7db8ce7f5c685e4bc0c.tar.gz rust-e5f31e0a3eb8d839f1e3b7db8ce7f5c685e4bc0c.zip | |
Rollup merge of #72150 - jackh726:unnorm_projection, r=nikomatsakis
Remove UnnormalizedProjection This was only used for the old chalk integration with chalk-engine r? @nikomatsakis
Diffstat (limited to 'src/librustc_mir/interpret')
| -rw-r--r-- | src/librustc_mir/interpret/intrinsics/type_name.rs | 1 | ||||
| -rw-r--r-- | src/librustc_mir/interpret/validity.rs | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/src/librustc_mir/interpret/intrinsics/type_name.rs b/src/librustc_mir/interpret/intrinsics/type_name.rs index b81a454cac4..71cca725982 100644 --- a/src/librustc_mir/interpret/intrinsics/type_name.rs +++ b/src/librustc_mir/interpret/intrinsics/type_name.rs @@ -60,7 +60,6 @@ impl<'tcx> Printer<'tcx> for AbsolutePathPrinter<'tcx> { | ty::FnDef(def_id, substs) | ty::Opaque(def_id, substs) | ty::Projection(ty::ProjectionTy { item_def_id: def_id, substs }) - | ty::UnnormalizedProjection(ty::ProjectionTy { item_def_id: def_id, substs }) | ty::Closure(def_id, substs) | ty::Generator(def_id, substs, _) => self.print_def_path(def_id, substs), ty::Foreign(def_id) => self.print_def_path(def_id, &[]), diff --git a/src/librustc_mir/interpret/validity.rs b/src/librustc_mir/interpret/validity.rs index 7eb05ba2d2c..f6020641d3e 100644 --- a/src/librustc_mir/interpret/validity.rs +++ b/src/librustc_mir/interpret/validity.rs @@ -566,7 +566,6 @@ impl<'rt, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> ValidityVisitor<'rt, 'mir, ' | ty::Bound(..) | ty::Param(..) | ty::Opaque(..) - | ty::UnnormalizedProjection(..) | ty::Projection(..) | ty::GeneratorWitness(..) => bug!("Encountered invalid type {:?}", ty), } |