[rustc.git] / src / test / ui / issues / issue-50825.rs

// 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(&[()]);
}
Commit	Line	Data
94b46f34 XL	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.
83c7162d	5
94b46f34 XL	6	fn foo(y: &[()])
	7	where
	8	u64: Sized,
	9	{
	10	y[0]
	11	}
041b39d2	12
94b46f34 XL	13	fn main () {
94b46f34 XL	14	foo(&[()]);
223e47cc	15	}