Skip to content

Commit e83f0e0

Browse files
committed
---
yaml --- r: 2091 b: refs/heads/master c: 0910a73 h: refs/heads/master i: 2089: 4a6a4e9 2087: 6a29f41 v: v3
1 parent 14d633a commit e83f0e0

File tree

2 files changed

+22
-1
lines changed

2 files changed

+22
-1
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
11
---
2-
refs/heads/master: 2c65e10a9fff0fe5a4fb1fc54081b4b0ca19ac61
2+
refs/heads/master: 0910a7323ca861e833d5a92a9bcf0f844699ca7c
Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
2+
// xfail-stage0
3+
4+
fn mk() -> int {
5+
ret 1;
6+
}
7+
8+
fn chk(&int a) {
9+
log a;
10+
check (a == 1);
11+
}
12+
13+
fn apply[T](fn() -> T produce, fn(&T) consume) {
14+
consume(produce());
15+
}
16+
17+
fn main() {
18+
let (fn()->int) produce = mk;
19+
let (fn(&int)) consume = chk;
20+
apply[int](produce, consume);
21+
}

0 commit comments

Comments
 (0)