[rustc.git] / src / test / ui / traits / false-ambiguity-where-clause-builtin-bound.rs

// run-pass
// Test that we do not error out because of a (False) ambiguity
// between the builtin rules for Sized and the where clause. Issue
// #20959.

// pretty-expanded FIXME #23616

fn foo<K>(x: Option<K>)
    where Option<K> : Sized
{
    let _y = x;
}

fn main() {
    foo(Some(22));
}
Commit	Line	Data
b7449926	1	// run-pass
85aaf69f SL	2	// Test that we do not error out because of a (False) ambiguity
	3	// between the builtin rules for Sized and the where clause. Issue
	4	// #20959.
223e47cc	5
c34b1796 AL	6	// pretty-expanded FIXME #23616
c34b1796 AL	7
85aaf69f SL	8	fn foo<K>(x: Option<K>)
	9	where Option<K> : Sized
	10	{
	11	let _y = x;
	12	}
223e47cc LB	13
223e47cc LB	14	fn main() {
85aaf69f	15	foo(Some(22));
223e47cc	16	}