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

   1 // run-pass
   2 // regression test for issue #50825
   3 // Make sure that the built-in bound {integer}: Sized is preferred over
   4 // the u64: Sized bound in the where clause.
   5
   6 fn foo(y: &[()])
   7 where
   8     u64: Sized,
   9 {
  10     y[0]
  11 }
  12
  13 fn main () {
  14     foo(&[()]);
  15 }