tests/ui/chalkify/generic_impls.rs

   1 // compile-flags: -Z trait-solver=chalk
   2
   3 trait Foo { }
   4
   5 impl<T> Foo for (T, u32) { }
   6
   7 fn gimme<F: Foo>() { }
   8
   9 fn foo<T>() {
  10     gimme::<(T, u32)>();
  11     gimme::<(Option<T>, u32)>();
  12     gimme::<(Option<T>, f32)>(); //~ ERROR
  13 }
  14
  15 fn main() {
  16     gimme::<(i32, u32)>();
  17     gimme::<(i32, f32)>(); //~ ERROR
  18 }