9 impl<'a> Array<'a> for () {
10 type Element = &'a ();
13 impl Visit for () where
14 //(): for<'a> Array<'a, Element=&'a ()>, // No ICE
15 (): for<'a> Array<'a, Element=()>, // ICE
19 <() as Visit>::visit();
20 //~^ ERROR type mismatch resolving `for<'a> <() as Array<'a>>::Element == ()`