Skip to content

Commit 8217e4b

Browse files
committed
Add xfailed tests that resources can't be copied into various things
1 parent b8bb663 commit 8217e4b

File tree

4 files changed

+68
-0
lines changed

4 files changed

+68
-0
lines changed
+16
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
// xfail-test
2+
// error-pattern:mismatched kinds
3+
resource r(i: @mutable int) {
4+
*i = *i + 1;
5+
}
6+
7+
fn main() {
8+
let i = @mutable 0;
9+
{
10+
let j <- r(i);
11+
// No no no no no
12+
let k = @j;
13+
}
14+
log_err *i;
15+
assert *i == 2;
16+
}
+16
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
// xfail-test
2+
// error-pattern:mismatched kinds
3+
resource r(i: @mutable int) {
4+
*i = *i + 1;
5+
}
6+
7+
fn main() {
8+
let i = @mutable 0;
9+
{
10+
let j <- r(i);
11+
// No no no no no
12+
let k <- {x: j};
13+
}
14+
log_err *i;
15+
assert *i == 2;
16+
}
+20
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
// xfail-test
2+
// error-pattern:mismatched kinds
3+
resource r(i: @mutable int) {
4+
*i = *i + 1;
5+
}
6+
7+
tag t {
8+
t0(r);
9+
}
10+
11+
fn main() {
12+
let i = @mutable 0;
13+
{
14+
let j <- r(i);
15+
// No no no no no
16+
let k <- t0(j);
17+
}
18+
log_err *i;
19+
assert *i == 2;
20+
}
+16
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
// xfail-test
2+
// error-pattern:mismatched kinds
3+
resource r(i: @mutable int) {
4+
*i = *i + 1;
5+
}
6+
7+
fn main() {
8+
let i = @mutable 0;
9+
{
10+
let j <- r(i);
11+
// No no no no no
12+
let k <- (j, 0);
13+
}
14+
log_err *i;
15+
assert *i == 2;
16+
}

0 commit comments

Comments
 (0)