Merge pull request #1753 from dtolnay/precisecapture

Add TypeParamBound::PreciseCapture
dtolnay · Oct 20, 2024 · b387249 · b387249
2 parents 53662cf + 94d7d5e
commit b387249
Show file tree

Hide file tree

Showing 14 changed files with 511 additions and 46 deletions.
diff --git a/src/classify.rs b/src/classify.rs
@@ -204,7 +204,9 @@ pub(crate) fn trailing_unparameterized_path(mut ty: &Type) -> bool {
     ) -> ControlFlow<bool, &Type> {
         match bounds.last().unwrap() {
             TypeParamBound::Trait(t) => last_type_in_path(&t.path),
-            TypeParamBound::Lifetime(_) | TypeParamBound::Verbatim(_) => ControlFlow::Break(false),
+            TypeParamBound::Lifetime(_)
+            | TypeParamBound::PreciseCapture(_)
+            | TypeParamBound::Verbatim(_) => ControlFlow::Break(false),
         }
     }
 }
@@ -378,7 +380,9 @@ pub(crate) fn expr_trailing_brace(mut expr: &Expr) -> bool {
                 Some(t) => ControlFlow::Continue(t),
                 None => ControlFlow::Break(false),
             },
-            TypeParamBound::Lifetime(_) => ControlFlow::Break(false),
+            TypeParamBound::Lifetime(_) | TypeParamBound::PreciseCapture(_) => {
+                ControlFlow::Break(false)
+            }
             TypeParamBound::Verbatim(t) => ControlFlow::Break(tokens_trailing_brace(t)),
         }
     }

diff --git a/src/gen/clone.rs b/src/gen/clone.rs
diff --git a/src/gen/debug.rs b/src/gen/debug.rs
diff --git a/src/gen/eq.rs b/src/gen/eq.rs
diff --git a/src/gen/fold.rs b/src/gen/fold.rs
diff --git a/src/gen/hash.rs b/src/gen/hash.rs