about summary refs log tree commit diff
path: root/src/test/ui/parser/issues
diff options
context:
space:
mode:
authorYuki Okushi <jtitor@2k36.org>2022-10-10 10:23:04 +0900
committerGitHub <noreply@github.com>2022-10-10 10:23:04 +0900
commit303ebd5b0400073a82d68053fc789de72dabe2b5 (patch)
tree81e16f92f96c74527fc83cf9c814bb360ec45001 /src/test/ui/parser/issues
parent0db05f16c897ac19e09269eb6a7061b888fb7851 (diff)
parent7b2f04a2b3e895477a96bb8ad2fe875eff411798 (diff)
Rollup merge of #102345 - chenyukang:fix-102182-impl-trait, r=estebank
Recover from impl Trait in type param bound

Fixes #102182
r? ``@estebank``
Diffstat (limited to 'src/test/ui/parser/issues')
-rw-r--r--src/test/ui/parser/issues/issue-102182-impl-trait-recover.rs3
-rw-r--r--src/test/ui/parser/issues/issue-102182-impl-trait-recover.stderr14
2 files changed, 17 insertions, 0 deletions
diff --git a/src/test/ui/parser/issues/issue-102182-impl-trait-recover.rs b/src/test/ui/parser/issues/issue-102182-impl-trait-recover.rs
new file mode 100644
index 00000000000..4bfc676d6f6
--- /dev/null
+++ b/src/test/ui/parser/issues/issue-102182-impl-trait-recover.rs
@@ -0,0 +1,3 @@
+fn foo<T: impl Trait>() {}
+//~^ ERROR expected trait bound, found `impl Trait` type
+fn main() {}
diff --git a/src/test/ui/parser/issues/issue-102182-impl-trait-recover.stderr b/src/test/ui/parser/issues/issue-102182-impl-trait-recover.stderr
new file mode 100644
index 00000000000..52b6ae5df35
--- /dev/null
+++ b/src/test/ui/parser/issues/issue-102182-impl-trait-recover.stderr
@@ -0,0 +1,14 @@
+error: expected trait bound, found `impl Trait` type
+  --> $DIR/issue-102182-impl-trait-recover.rs:1:11
+   |
+LL | fn foo<T: impl Trait>() {}
+   |           ^^^^^^^^^^ not a trait
+   |
+help: use the trait bounds directly
+   |
+LL - fn foo<T: impl Trait>() {}
+LL + fn foo<T: Trait>() {}
+   |
+
+error: aborting due to previous error
+