summaryrefslogtreecommitdiffstats
path: root/src/test/ui/inference/cannot-infer-closure-circular.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/inference/cannot-infer-closure-circular.rs')
-rw-r--r--src/test/ui/inference/cannot-infer-closure-circular.rs13
1 files changed, 0 insertions, 13 deletions
diff --git a/src/test/ui/inference/cannot-infer-closure-circular.rs b/src/test/ui/inference/cannot-infer-closure-circular.rs
deleted file mode 100644
index affb48149..000000000
--- a/src/test/ui/inference/cannot-infer-closure-circular.rs
+++ /dev/null
@@ -1,13 +0,0 @@
-fn main() {
- // Below we call the closure with its own return as the argument, unifying
- // its inferred input and return types. We want to make sure that the generated
- // error handles this gracefully, and in particular doesn't generate an extra
- // note about the `?` operator in the closure body, which isn't relevant to
- // the inference.
- let x = |r| { //~ ERROR type annotations needed for `Result<(), E>`
- let v = r?;
- Ok(v)
- };
-
- let _ = x(x(Ok(())));
-}