about summary refs log tree commit diff
path: root/tests/ui/impl-trait/recursive-auto-trait.rs
diff options
context:
space:
mode:
authorlcnr <rust@lcnr.de>2022-01-19 17:35:26 +0100
committerOleksandr Babak <alexanderbabak@proton.me>2023-07-06 11:37:21 +0200
commitb5b3f33940f30b05c880c645b42ed1c56281981a (patch)
tree6ea1c8bb71b104e28ea14ed7e1d8609fdb20a42c /tests/ui/impl-trait/recursive-auto-trait.rs
parent3adedc93a9de239a6476833841fba9c1a9796af3 (diff)
downloadrust-b5b3f33940f30b05c880c645b42ed1c56281981a.tar.gz
rust-b5b3f33940f30b05c880c645b42ed1c56281981a.zip
deal with opaque types without cycling
Diffstat (limited to 'tests/ui/impl-trait/recursive-auto-trait.rs')
-rw-r--r--tests/ui/impl-trait/recursive-auto-trait.rs10
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/ui/impl-trait/recursive-auto-trait.rs b/tests/ui/impl-trait/recursive-auto-trait.rs
new file mode 100644
index 00000000000..d7b68144ff6
--- /dev/null
+++ b/tests/ui/impl-trait/recursive-auto-trait.rs
@@ -0,0 +1,10 @@
+// check-pass
+fn is_send<T: Send>(_: T) {}
+fn foo() -> impl Send {
+    if false {
+        is_send(foo());
+    }
+    ()
+}
+
+fn main() {}