Rollup merge of #71891 - lcnr:not-iter-any, r=Dylan-DPC

Dylan-DPC · web-flow · commit a93cc0664fee · 2020-05-05T01:49:48.000+02:00
¬∃x. ¬y =&gt; ∀x. y
diff --git 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();

Original file line number	Diff line number	Diff line change
`@@ -1753,7 +1753,7 @@ impl<'o, 'tcx> dyn AstConv<'tcx> + 'o {`
`1753`	`1753`	`potential_assoc_types: Vec<Span>,`
`1754`	`1754`	`trait_bounds: &[hir::PolyTraitRef<'_>],`
`1755`	`1755`	`) {`
`1756`		`- if !associated_types.values().any(\|v\| !v.is_empty()) {`
	`1756`	`+ if associated_types.values().all(\|v\| v.is_empty()) {`
`1757`	`1757`	`return;`
`1758`	`1758`	`}`
`1759`	`1759`	`let tcx = self.tcx();`