src/test/ui/issues/issue-2611-3.rs

   1 // build-pass (FIXME(62277): could be check-pass?)
   2 #![allow(dead_code)]
   3 // Tests that impls are allowed to have looser, more permissive bounds
   4 // than the traits require.
   5
   6
   7 trait A {
   8   fn b<C:Sync,D>(&self, x: C) -> C;
   9 }
  10
  11 struct E {
  12  f: isize
  13 }
  14
  15 impl A for E {
  16   fn b<F,G>(&self, _x: F) -> F { panic!() }
  17 }
  18
  19 pub fn main() {}