tests/ui/where-clauses/issue-50825.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//@ run-pass
// regression test for issue #50825
// Make sure that the built-in bound {integer}: Sized is preferred over
// the u64: Sized bound in the where clause.

fn foo(y: &[()])
where
    u64: Sized,
{
    y[0]
}

fn main () {
    foo(&[()]);
}