src/test/ui/issues/issue-17746.rs

   1 // compile-pass
   2 #![allow(dead_code)]
   3 // Regression test for #17746
   4
   5 fn main() {}
   6
   7 struct A;
   8
   9 impl A {
  10     fn b(&mut self) {
  11         self.a()
  12     }
  13 }
  14
  15 trait Foo {
  16     fn dummy(&self) {}
  17 }
  18 trait Bar {
  19     fn a(&self);
  20 }
  21
  22 impl Foo for A {}
  23 impl<T> Bar for T where T: Foo {
  24     fn a(&self) {}
  25 }