1 // Test that we don't assume that type aliases have the same type parameters
2 // as the type they alias and then panic when we see this.
4 type A<'a> = &'a isize;
5 type B<'a> = Box<A<'a>>;
12 fn from_box(b: Box<B>) -> Self;
15 impl<'a> FromBox<'a> for C<'a> {
16 fn from_box(b: Box<B>) -> Self {
22 fn from_tuple( b: (B,)) -> Self;
25 impl<'a> FromTuple<'a> for C<'a> {
26 fn from_tuple(b: (B,)) -> Self {
27 C { f: Box::new(b.0) } //~ ERROR