src/test/compile-fail/chalkify/generic_impls.rs

// compile-flags: -Z chalk

trait Foo { }

impl<T> Foo for (T, u32) { }

fn gimme<F: Foo>() { }

fn foo<T>() {
    gimme::<(T, u32)>();
    gimme::<(Option<T>, u32)>();
    gimme::<(Option<T>, f32)>(); //~ ERROR
}

fn main() {
    gimme::<(i32, u32)>();
    gimme::<(i32, f32)>(); //~ ERROR
}