1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92
|
//@ check-pass
trait Foo: Sized {
fn bar(&self);
fn baz(&self) { }
fn bah(_: Option<Self>) { }
}
struct BarTy {
x : isize,
y : f64,
}
impl BarTy {
fn a() {}
fn b(&self) {}
}
// If these fail, it's necessary to update rustc_resolve and the cfail tests.
impl Foo for *const BarTy {
fn bar(&self) {
self.baz();
BarTy::a();
Foo::bah(None::<*const BarTy>);
}
}
// If these fail, it's necessary to update rustc_resolve and the cfail tests.
impl<'a> Foo for &'a BarTy {
fn bar(&self) {
self.baz();
self.x;
self.y;
BarTy::a();
Foo::bah(None::<&BarTy>);
self.b();
}
}
// If these fail, it's necessary to update rustc_resolve and the cfail tests.
impl<'a> Foo for &'a mut BarTy {
fn bar(&self) {
self.baz();
self.x;
self.y;
BarTy::a();
Foo::bah(None::<&mut BarTy>);
self.b();
}
}
// If these fail, it's necessary to update rustc_resolve and the cfail tests.
impl Foo for Box<BarTy> {
fn bar(&self) {
self.baz();
Foo::bah(None::<Box<BarTy>>);
}
}
// If these fail, it's necessary to update rustc_resolve and the cfail tests.
impl Foo for *const isize {
fn bar(&self) {
self.baz();
Foo::bah(None::<*const isize>);
}
}
// If these fail, it's necessary to update rustc_resolve and the cfail tests.
impl<'a> Foo for &'a isize {
fn bar(&self) {
self.baz();
Foo::bah(None::<&isize>);
}
}
// If these fail, it's necessary to update rustc_resolve and the cfail tests.
impl<'a> Foo for &'a mut isize {
fn bar(&self) {
self.baz();
Foo::bah(None::<&mut isize>);
}
}
// If these fail, it's necessary to update rustc_resolve and the cfail tests.
impl Foo for Box<isize> {
fn bar(&self) {
self.baz();
Foo::bah(None::<Box<isize>>);
}
}
fn main() {}
|