Skip to content

Commit 5baa58e

Browse files
authored
Rollup merge of #61499 - varkor:issue-53457, r=oli-obk
Add regression test for existential type ICE #53457 Closes #53457.
2 parents 5deaa0a + 1c6dce8 commit 5baa58e

20 files changed

+15
-0
lines changed
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
// run-pass
2+
3+
#![feature(existential_type)]
4+
5+
existential type X: Clone;
6+
7+
fn bar<F: Fn(&i32) + Clone>(f: F) -> F {
8+
f
9+
}
10+
11+
fn foo() -> X {
12+
bar(|x| ())
13+
}
14+
15+
fn main() {}
File renamed without changes.
File renamed without changes.

0 commit comments

Comments
 (0)