diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:18:58 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:18:58 +0000 |
commit | a4b7ed7a42c716ab9f05e351f003d589124fd55d (patch) | |
tree | b620cd3f223850b28716e474e80c58059dca5dd4 /tests/ui/error-codes/E0401.rs | |
parent | Adding upstream version 1.67.1+dfsg1. (diff) | |
download | rustc-a4b7ed7a42c716ab9f05e351f003d589124fd55d.tar.xz rustc-a4b7ed7a42c716ab9f05e351f003d589124fd55d.zip |
Adding upstream version 1.68.2+dfsg1.upstream/1.68.2+dfsg1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'tests/ui/error-codes/E0401.rs')
-rw-r--r-- | tests/ui/error-codes/E0401.rs | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/tests/ui/error-codes/E0401.rs b/tests/ui/error-codes/E0401.rs new file mode 100644 index 000000000..8f8d6b87e --- /dev/null +++ b/tests/ui/error-codes/E0401.rs @@ -0,0 +1,32 @@ +trait Baz<T> {} + +fn foo<T>(x: T) { + fn bfnr<U, V: Baz<U>, W: Fn()>(y: T) { //~ ERROR E0401 + } + fn baz<U, + V: Baz<U>, + W: Fn()> + (y: T) { //~ ERROR E0401 + } + bfnr(x); + //~^ ERROR type annotations needed + //~| ERROR type annotations needed +} + + +struct A<T> { + inner: T, +} + +impl<T> Iterator for A<T> { + type Item = u8; + fn next(&mut self) -> Option<u8> { + fn helper(sel: &Self) -> u8 { //~ ERROR E0401 + unimplemented!(); + } + Some(helper(self)) + } +} + +fn main() { +} |