about summary refs log tree commit diff
path: root/src/test/ui/error-codes
diff options
context:
space:
mode:
authorTakayuki Maeda <takoyaki0316@gmail.com>2022-05-20 13:49:41 +0900
committerTakayuki Maeda <takoyaki0316@gmail.com>2022-05-20 23:04:44 +0900
commit3d0f9fb544cc73ea4016696e43868b71bf3c8226 (patch)
tree22652854fcd39d055fdf260b8a3e52d36ae0d2d8 /src/test/ui/error-codes
parent910979a6d4a8e1945933cc989e6b22a675fc1d42 (diff)
downloadrust-3d0f9fb544cc73ea4016696e43868b71bf3c8226.tar.gz
rust-3d0f9fb544cc73ea4016696e43868b71bf3c8226.zip
report ambiguous type parameters when their parents are impl or fn
fix ci error

emit err for `impl_item`
Diffstat (limited to 'src/test/ui/error-codes')
-rw-r--r--src/test/ui/error-codes/E0401.stderr6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/test/ui/error-codes/E0401.stderr b/src/test/ui/error-codes/E0401.stderr
index 8b1d4e6c07c..e58c9d3116a 100644
--- a/src/test/ui/error-codes/E0401.stderr
+++ b/src/test/ui/error-codes/E0401.stderr
@@ -37,6 +37,12 @@ error[E0282]: type annotations needed
    |
 LL |     bfnr(x);
    |     ^^^^ cannot infer type for type parameter `U` declared on the function `bfnr`
+   |
+help: type parameter declared here
+  --> $DIR/E0401.rs:4:13
+   |
+LL |     fn bfnr<U, V: Baz<U>, W: Fn()>(y: T) {
+   |             ^
 
 error: aborting due to 4 previous errors