blob: ce1aae2fa8a238677fece0d3f12243436ed09dc4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
// error-pattern: copying a noncopyable value
resource r(_i: int) { }
fn main() {
// This can't make sense as it would copy the resources
let i <- [r(0)];
let j <- [r(1)];
let k = i + j;
log(debug, j);
}
|