tests/ui/type-param-constraints.rs

   1 // run-pass
   2
   3 #![allow(non_camel_case_types)]
   4 #![allow(dead_code)]
   5 // pretty-expanded FIXME #23616
   6
   7 fn p_foo<T>(_pinned: T) { }
   8 fn s_foo<T>(_shared: T) { }
   9 fn u_foo<T:Send>(_unique: T) { }
  10
  11 struct r {
  12   i: isize,
  13 }
  14
  15 impl Drop for r {
  16     fn drop(&mut self) {}
  17 }
  18
  19 fn r(i:isize) -> r {
  20     r {
  21         i: i
  22     }
  23 }
  24
  25 pub fn main() {
  26     p_foo(r(10));
  27
  28     p_foo::<Box<_>>(Box::new(r(10)));
  29     p_foo::<Box<_>>(Box::new(10));
  30     p_foo(10);
  31
  32     s_foo::<Box<_>>(Box::new(10));
  33     s_foo(10);
  34
  35     u_foo::<Box<_>>(Box::new(10));
  36     u_foo(10);
  37 }