1 // Test that we detect an illegal combination of types.
3 trait Convert<Target> {
4 fn convert(&self) -> Target;
7 impl Convert<u32> for i32 {
8 fn convert(&self) -> u32 {
13 fn test<T,U>(_: T, _: U)
19 test(22i32, 44i32); //~ ERROR mismatched types