src/test/ui/traits/false-ambiguity-where-clause-builtin-bound.rs


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

// 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));
}