2 // Regression test for issue #61651
3 // Verifies that we don't try to constrain inference
4 // variables due to the presence of multiple applicable
7 #![feature(marker_trait_attr)]
9 #[marker] // Remove this line and it works?!?
11 impl Foo<u16> for u8 {}
12 impl Foo<[u8; 1]> for u8 {}
13 fn foo<T: Foo<U>, U>(_: T) -> U { unimplemented!() }
16 let _: u16 = foo(0_u8);