rust/src/test/compile-fail/tps-invariant-class.rs
2012-09-07 14:02:33 -07:00

23 lines
437 B
Rust

struct box_impl<T> {
mut f: T,
}
fn box_impl<T>(f: T) -> box_impl<T> {
box_impl {
f: f
}
}
fn set_box_impl<T>(b: box_impl<@const T>, v: @const T) {
b.f = v;
}
fn main() {
let b = box_impl::<@int>(@3);
set_box_impl(b, @mut 5);
//~^ ERROR values differ in mutability
// No error when type of parameter actually IS @const int
let b = box_impl::<@const int>(@3);
set_box_impl(b, @mut 5);
}