summaryrefslogtreecommitdiffstats
path: root/src/test/ui/inference/issue-104649.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/inference/issue-104649.rs')
-rw-r--r--src/test/ui/inference/issue-104649.rs32
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) => {}
- };
- });
-}