1 // We must not allow this with our current setup as `T`
2 // is mentioned both in the tail of `Foo` and by another
4 struct Foo<T: ?Sized>(Box<T>, T);
7 let x: Foo<[u8; 1]> = Foo(Box::new([2]), [3]);
8 let y: &Foo<[u8]> = &x; //~ ERROR mismatched types
9 assert_eq!(y.0.len(), 1);