tests/ui/traits/bound/basic.rs

   1 // run-pass
   2 #![allow(dead_code)]
   3 #![allow(unconditional_recursion)]
   4
   5 // pretty-expanded FIXME #23616
   6
   7 trait Foo {
   8 }
   9
  10 fn b(_x: Box<dyn Foo+Send>) {
  11 }
  12
  13 fn c(x: Box<dyn Foo+Sync+Send>) {
  14     e(x);
  15 }
  16
  17 fn d(x: Box<dyn Foo+Send>) {
  18     e(x);
  19 }
  20
  21 fn e(x: Box<dyn Foo>) {
  22     e(x);
  23 }
  24
  25 pub fn main() { }