diff options
Diffstat (limited to 'src/test/ui/inference/issue-104649.rs')
-rw-r--r-- | src/test/ui/inference/issue-104649.rs | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/src/test/ui/inference/issue-104649.rs b/src/test/ui/inference/issue-104649.rs deleted file mode 100644 index 4637b884d..000000000 --- a/src/test/ui/inference/issue-104649.rs +++ /dev/null @@ -1,32 +0,0 @@ -type Result<T, E = Error> = ::std::result::Result<T, E>; -struct Error; - -trait ForEach { - type Input; - fn for_each<F, U>(self, f: F) - where - F: FnOnce(Self::Input) -> U; -} - -impl<T> ForEach for A<T> { - type Input = T; - fn for_each<F, U>(self, f: F) - where - F: FnOnce(Self::Input) -> U, - { - todo!() - } -} - -struct A<T>(T); - -fn main() { - let a = A(Result::Ok(Result::Ok(()))); //~ ERROR type annotations needed - a.for_each(|a: Result<_>| { - let f = || match a { - Ok(Ok(a)) => {} - Ok(Err(a)) => {} - Err(a) => {} - }; - }); -} |