Skip to content

Commit ad2bdbe

Browse files
committed
Add another XFAILed test for failing destructors
1 parent ca0d3ca commit ad2bdbe

File tree

1 file changed

+13
-0
lines changed

1 file changed

+13
-0
lines changed
Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
// error-pattern:fail
2+
// xfail-test
3+
4+
resource r(i: int) {
5+
// Double-fail!!
6+
fail;
7+
}
8+
9+
fn main() {
10+
@0;
11+
let r <- r(0);
12+
fail;
13+
}

0 commit comments

Comments
 (0)