tests/ui/chalkify/generic_impls.rs


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

// compile-flags: -Z trait-solver=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
}