summaryrefslogtreecommitdiffstats
path: root/tests/ui/where-clauses/issue-50825.rs
blob: 1ece2e9fc84758fd3945197c51d31217df615e15 (plain)
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(&[()]);
}