2018-10-27 03:17:24 -05:00
|
|
|
#![feature(unsized_locals)]
|
|
|
|
|
|
|
|
pub trait Foo {
|
|
|
|
fn foo(self) -> String;
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Foo for str {
|
|
|
|
fn foo(self) -> String {
|
|
|
|
self.to_owned()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn drop_unsized<T: ?Sized>(_: T) {}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
{
|
|
|
|
let x = "hello".to_owned().into_boxed_str();
|
|
|
|
let y = *x;
|
|
|
|
drop_unsized(y);
|
|
|
|
println!("{}", &x);
|
2019-04-22 02:40:08 -05:00
|
|
|
//~^ERROR borrow of moved value
|
2018-10-27 03:17:24 -05:00
|
|
|
println!("{}", &y);
|
2019-04-22 02:40:08 -05:00
|
|
|
//~^ERROR borrow of moved value
|
2018-10-27 03:17:24 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
{
|
|
|
|
let x = "hello".to_owned().into_boxed_str();
|
|
|
|
let y = *x;
|
|
|
|
y.foo();
|
|
|
|
println!("{}", &x);
|
2019-04-22 02:40:08 -05:00
|
|
|
//~^ERROR borrow of moved value
|
2018-10-27 03:17:24 -05:00
|
|
|
println!("{}", &y);
|
2019-04-22 02:40:08 -05:00
|
|
|
//~^ERROR borrow of moved value
|
2018-10-27 03:17:24 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
{
|
|
|
|
let x = "hello".to_owned().into_boxed_str();
|
|
|
|
x.foo();
|
|
|
|
println!("{}", &x);
|
2019-04-22 02:40:08 -05:00
|
|
|
//~^ERROR borrow of moved value
|
2018-10-27 03:17:24 -05:00
|
|
|
}
|
|
|
|
}
|