1 #![feature(specialization)] //~ WARN the feature `specialization` is incomplete
3 // Regression test for a specialization-related ICE (#39448).
6 fn foo(self, _: Self) -> Self {
14 impl FromA<u8> for u16 {
15 fn from(x: u8) -> u16 {
21 fn from(t: T) -> Self;
24 impl<T: A, U: A + FromA<T>> FromA<T> for U {
25 default fn from(x: T) -> Self {
34 impl<T, U> ToA<U> for T
44 fn foo<T: A, U: A>(x: T, y: U) -> U {
45 x.foo(y.to()).to() //~ ERROR overflow evaluating the requirement
49 let z = foo(8u8, 1u16);