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

   1 // run-pass
   2 // pretty-expanded FIXME #23616
   3
   4 trait B {
   5     fn f(&self);
   6 }
   7
   8 trait T : B {
   9 }
  10
  11 struct A;
  12
  13 impl<U: T> B for U {
  14     fn f(&self) { }
  15 }
  16
  17 impl T for A {
  18 }
  19
  20 fn main() {
  21     let a = A;
  22     let br = &a as &dyn B;
  23     br.f();
  24 }