blob: ad5e631c0e4f743479151be3034cb2f62c8121d7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
// xfail-stage0
type foo = rec(int a, uint b);
tag bar {
u(@foo);
w(int);
}
fn main() {
assert alt (u(@rec(a=10, b=40u))) {
u(@{a, b}) { a + (b as int) }
_ { 66 }
} == 50;
}
|