diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-05-05 01:49:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-05 01:49:48 +0200 |
| commit | a93cc0664fee37010385b88918632332d2a4281f (patch) | |
| tree | 89f679f2b3a977453c1705a3e21531b2a2755ebf /src | |
| parent | 4b0b6e357bc1bffef0bfafe96cd673a11cd564c4 (diff) | |
| parent | a9b6af98d182e1a40d97c48bbab27916224847ff (diff) | |
Rollup merge of #71891 - lcnr:not-iter-any, r=Dylan-DPC
¬∃x. ¬y => ∀x. y
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustc_typeck/astconv.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustc_typeck/astconv.rs b/src/librustc_typeck/astconv.rs index 39fcd075645..cd6cd94b143 100644 --- a/src/librustc_typeck/astconv.rs +++ b/src/librustc_typeck/astconv.rs @@ -1753,7 +1753,7 @@ impl<'o, 'tcx> dyn AstConv<'tcx> + 'o { potential_assoc_types: Vec<Span>, trait_bounds: &[hir::PolyTraitRef<'_>], ) { - if !associated_types.values().any(|v| !v.is_empty()) { + if associated_types.values().all(|v| v.is_empty()) { return; } let tcx = self.tcx(); |