2018-08-30 14:18:55 +02:00
|
|
|
// run-pass
|
2018-08-31 15:02:01 +02:00
|
|
|
#![allow(non_camel_case_types)]
|
2014-05-05 18:56:44 -07:00
|
|
|
|
2012-08-28 15:54:45 -07:00
|
|
|
trait double {
|
2015-03-25 17:06:52 -07:00
|
|
|
fn double(self: Box<Self>) -> usize;
|
2012-08-28 15:54:45 -07:00
|
|
|
}
|
|
|
|
|
2015-03-25 17:06:52 -07:00
|
|
|
impl double for usize {
|
|
|
|
fn double(self: Box<usize>) -> usize { *self * 2 }
|
2012-08-28 15:54:45 -07:00
|
|
|
}
|
|
|
|
|
2013-02-01 19:43:17 -08:00
|
|
|
pub fn main() {
|
2021-08-25 02:39:40 +02:00
|
|
|
let x: Box<_> = Box::new(Box::new(3usize) as Box<dyn double>);
|
2015-03-03 10:42:26 +02:00
|
|
|
assert_eq!(x.double(), 6);
|
2012-08-28 15:54:45 -07:00
|
|
|
}
|