diff options
| author | Michael Goulet <michael@errs.io> | 2023-06-15 16:59:01 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-06-17 21:20:20 +0000 |
| commit | 52d3fc93f2194b0646e5447f29e6702b7c71ddae (patch) | |
| tree | 2573b926180d72ae93ee65090aac54fbeae0edb9 /compiler/rustc_hir_analysis/src/astconv/mod.rs | |
| parent | a8a29070f07e47a244c8199ad582f93172019743 (diff) | |
| download | rust-52d3fc93f2194b0646e5447f29e6702b7c71ddae.tar.gz rust-52d3fc93f2194b0646e5447f29e6702b7c71ddae.zip | |
Move WF goal to clause
Diffstat (limited to 'compiler/rustc_hir_analysis/src/astconv/mod.rs')
| -rw-r--r-- | compiler/rustc_hir_analysis/src/astconv/mod.rs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/compiler/rustc_hir_analysis/src/astconv/mod.rs b/compiler/rustc_hir_analysis/src/astconv/mod.rs index 221c7ce4f6f..3b55c52c342 100644 --- a/compiler/rustc_hir_analysis/src/astconv/mod.rs +++ b/compiler/rustc_hir_analysis/src/astconv/mod.rs @@ -1527,10 +1527,11 @@ impl<'o, 'tcx> dyn AstConv<'tcx> + 'o { ty::Clause::TypeOutlives(_) => { // Do nothing, we deal with regions separately } - ty::Clause::RegionOutlives(_) | ty::Clause::ConstArgHasType(..) => bug!(), + ty::Clause::RegionOutlives(_) + | ty::Clause::ConstArgHasType(..) + | ty::Clause::WellFormed(_) => bug!(), }, - ty::PredicateKind::WellFormed(_) - | ty::PredicateKind::AliasRelate(..) + ty::PredicateKind::AliasRelate(..) | ty::PredicateKind::ObjectSafe(_) | ty::PredicateKind::ClosureKind(_, _, _) | ty::PredicateKind::Subtype(_) |