Skip to content

Commit c4a23ba

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 8285d4b + 1c6dce8 commit c4a23ba

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)