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 /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 'src')
| -rw-r--r-- | src/librustdoc/clean/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustdoc/clean/mod.rs b/src/librustdoc/clean/mod.rs index fd30691c324..15cb875c60c 100644 --- a/src/librustdoc/clean/mod.rs +++ b/src/librustdoc/clean/mod.rs @@ -288,10 +288,10 @@ impl<'tcx> Clean<'tcx, Option<WherePredicate>> for ty::Predicate<'tcx> { ty::PredicateKind::TypeOutlives(pred) => pred.clean(cx), ty::PredicateKind::Projection(pred) => Some(pred.clean(cx)), ty::PredicateKind::ConstEvaluatable(..) => None, + ty::PredicateKind::WellFormed(..) => None, ty::PredicateKind::Subtype(..) | ty::PredicateKind::Coerce(..) - | ty::PredicateKind::WellFormed(..) | ty::PredicateKind::ObjectSafe(..) | ty::PredicateKind::ClosureKind(..) | ty::PredicateKind::ConstEquate(..) |