cb4e99b688
Vectors of pinned kinds can't be safe because most interesting uses of vector perform copies
11 lines
193 B
Rust
11 lines
193 B
Rust
// error-pattern:mismatched kinds
|
|
|
|
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;
|
|
} |