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

   1 // run-pass
   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.
   5
   6 // pretty-expanded FIXME #23616
   7
   8 fn foo<K>(x: Option<K>)
   9     where Option<K> : Sized
  10 {
  11     let _y = x;
  12 }
  13
  14 fn main() {
  15     foo(Some(22));
  16 }