tests/ui/where-clauses/where-clause-method-substituion-rpass.rs

   1 // run-pass
   2 #![allow(unused_variables)]
   3 // pretty-expanded FIXME #23616
   4
   5 trait Foo<T> { fn dummy(&self, arg: T) { } }
   6
   7 trait Bar<A> {
   8     fn method<B>(&self) where A: Foo<B>;
   9 }
  10
  11 struct S;
  12 struct X;
  13
  14 impl Foo<S> for X {}
  15
  16 impl Bar<X> for i32 {
  17     fn method<U>(&self) where X: Foo<U> {
  18     }
  19 }
  20
  21 fn main() {
  22     1.method::<S>();
  23 }