about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/astconv
diff options
context:
space:
mode:
authorMichael Goulet <michael@errs.io>2023-07-03 15:27:41 +0000
committerMichael Goulet <michael@errs.io>2023-07-03 21:40:04 +0000
commit0c73b41cd69c33b76ba2a833bf8bd94a95e73ccb (patch)
treef10552ff044bed6c09e81b4ac239efe06c0b3545 /compiler/rustc_hir_analysis/src/astconv
parentc6fcbaae0f11f3f7d7827f946e8ca9a44c1da3ef (diff)
downloadrust-0c73b41cd69c33b76ba2a833bf8bd94a95e73ccb.tar.gz
rust-0c73b41cd69c33b76ba2a833bf8bd94a95e73ccb.zip
remove TypeWellFormedFromEnv
Diffstat (limited to 'compiler/rustc_hir_analysis/src/astconv')
-rw-r--r--compiler/rustc_hir_analysis/src/astconv/mod.rs3
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/rustc_hir_analysis/src/astconv/mod.rs b/compiler/rustc_hir_analysis/src/astconv/mod.rs
index 9b5ff3240ed..1d5e4ac55f8 100644
--- a/compiler/rustc_hir_analysis/src/astconv/mod.rs
+++ b/compiler/rustc_hir_analysis/src/astconv/mod.rs
@@ -983,8 +983,7 @@ impl<'o, 'tcx> dyn AstConv<'tcx> + 'o {
                 ty::ClauseKind::RegionOutlives(_)
                 | ty::ClauseKind::ConstArgHasType(..)
                 | ty::ClauseKind::WellFormed(_)
-                | ty::ClauseKind::ConstEvaluatable(_)
-                | ty::ClauseKind::TypeWellFormedFromEnv(_) => {
+                | ty::ClauseKind::ConstEvaluatable(_) => {
                     bug!()
                 }
             }