a380df809c
values to be copied. Rewrite kind computation so that instead of directly computing the kind it computes what kinds of values are present in the type, and then derive kinds based on that. I find this easier to think about. Fixes #4821.
35 lines
926 B
Rust
35 lines
926 B
Rust
// Copyright 2012 The Rust Project Developers. See the COPYRIGHT
|
|
// file at the top-level directory of this distribution and at
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
// option. This file may not be copied, modified, or distributed
|
|
// except according to those terms.
|
|
|
|
struct r {
|
|
i: @mut int,
|
|
}
|
|
|
|
impl r : Drop {
|
|
fn finalize(&self) {
|
|
*(self.i) = *(self.i) + 1;
|
|
}
|
|
}
|
|
|
|
fn f<T>(+_i: ~[T], +_j: ~[T]) {
|
|
}
|
|
|
|
fn main() {
|
|
let i1 = @mut 0;
|
|
let i2 = @mut 1;
|
|
let r1 = move ~[~r { i: i1 }];
|
|
let r2 = move ~[~r { i: i2 }];
|
|
f(copy r1, copy r2);
|
|
//~^ ERROR copying a value of non-copyable type
|
|
//~^^ ERROR copying a value of non-copyable type
|
|
log(debug, (r2, *i1));
|
|
log(debug, (r1, *i2));
|
|
}
|