UPDATE: Mentoring instructions below.
Affected Versions
rustc 1.3.0 - 1.5.0
STR
#[derive(Clone)] struct Foo<'a>(&'a u32);
impl Copy for Foo<'static> {}
fn main() {
let s = 2;
let a = Foo(&s);
drop(a);
drop(a);
}Expected Result
Foo<'a> is not Copy, so this should cause a borrowck error.
Actual Result
The code compiles :-).
cc @nikomatsakis
UPDATE: Mentoring instructions below.
Affected Versions
rustc 1.3.0 - 1.5.0
STR
Expected Result
Foo<'a>is notCopy, so this should cause a borrowck error.Actual Result
The code compiles :-).
cc @nikomatsakis