Skip to content

Commit edd81f8

Browse files
committed
---
yaml --- r: 5576 b: refs/heads/master c: 4bffa5e h: refs/heads/master v: v3
1 parent 42b7ac6 commit edd81f8

File tree

2 files changed

+22
-1
lines changed

2 files changed

+22
-1
lines changed

[refs]

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
11
---
2-
refs/heads/master: 199e4dee8da24d36b09d9a550353f06eaaa8fb09
2+
refs/heads/master: 4bffa5e13a5a103a3ced7e868bd2eb673755a7e6
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
// xfail-test
2+
// expected error: mismatched kinds
3+
4+
resource r(i: @mutable int) {
5+
*i = *i + 1;
6+
}
7+
8+
fn f<@T>(i: [T], j: [T]) {
9+
// Shouldn't be able to do this copy of j
10+
let k = i + j;
11+
}
12+
13+
fn main() {
14+
let i1 = @mutable 0;
15+
let i2 = @mutable 1;
16+
let r1 <- [~r(i1)];
17+
let r2 <- [~r(i2)];
18+
f(r1, r2);
19+
log_err *i1;
20+
log_err *i2;
21+
}

0 commit comments

Comments
 (0)