diff options
| author | Jack Huey <31162821+jackh726@users.noreply.github.com> | 2022-06-26 11:08:58 -0400 |
|---|---|---|
| committer | Jack Huey <31162821+jackh726@users.noreply.github.com> | 2022-06-28 00:17:40 -0400 |
| commit | e16dbb5076d5bd0f259e557fb2291e36ddd53e7e (patch) | |
| tree | 16dcaa176e95dbb2e0c372656e12796949ac09f8 /compiler/rustc_privacy/src | |
| parent | 8e430bfa9a6a9d81b25bddf6325069d217dc6f3f (diff) | |
| download | rust-e16dbb5076d5bd0f259e557fb2291e36ddd53e7e.tar.gz rust-e16dbb5076d5bd0f259e557fb2291e36ddd53e7e.zip | |
Make empty bounds lower to WellFormed and make WellFormed coinductive
Diffstat (limited to 'compiler/rustc_privacy/src')
| -rw-r--r-- | compiler/rustc_privacy/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_privacy/src/lib.rs b/compiler/rustc_privacy/src/lib.rs index b27c986d0f9..cd40f6a2cf0 100644 --- a/compiler/rustc_privacy/src/lib.rs +++ b/compiler/rustc_privacy/src/lib.rs @@ -145,6 +145,7 @@ where } ControlFlow::CONTINUE } + ty::PredicateKind::WellFormed(arg) => arg.visit_with(self), _ => bug!("unexpected predicate: {:?}", predicate), } } |