about summary refs log tree commit diff
path: root/src/test/ui/const-generics
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/const-generics
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/const-generics')
-rw-r--r--src/test/ui/const-generics/issues/issue-83249.stderr6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/test/ui/const-generics/issues/issue-83249.stderr b/src/test/ui/const-generics/issues/issue-83249.stderr
index 402b3aa2d61..3f44a54e80a 100644
--- a/src/test/ui/const-generics/issues/issue-83249.stderr
+++ b/src/test/ui/const-generics/issues/issue-83249.stderr
@@ -5,6 +5,12 @@ LL |     let _ = foo([0; 1]);
    |         -   ^^^ cannot infer type for type parameter `T` declared on the function `foo`
    |         |
    |         consider giving this pattern a type
+   |
+help: type parameter declared here
+  --> $DIR/issue-83249.rs:12:8
+   |
+LL | fn foo<T: Foo>(_: [u8; T::N]) -> T {
+   |        ^
 
 error: aborting due to previous error