Refactor inferred bound filtering

dtolnay · Mar 16, 2024 · b6314bc · b6314bc
1 parent 8d51928
commit b6314bc
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/src/expand.rs b/src/expand.rs
@@ -267,12 +267,9 @@ fn transform_sig(
             &[InferredBound::Send]
         };
 
-        let bounds = bounds.iter().filter(|bound| {
-            let assume_bound = match context {
-                Context::Trait { supertraits, .. } => !has_default || has_bound(supertraits, bound),
-                Context::Impl { .. } => true,
-            };
-            !assume_bound
+        let bounds = bounds.iter().filter(|bound| match context {
+            Context::Trait { supertraits, .. } => has_default && !has_bound(supertraits, bound),
+            Context::Impl { .. } => false,
         });
 
         where_clause_or_default(&mut sig.generics.where_clause)