fn main() {
- for thing(x[]) in foo {} //~ ERROR: expected one of `)`, `,`, or `@`, found `[`
- //~^ ERROR cannot find value `foo` in this scope
- //~| ERROR cannot find tuple struct/variant `thing` in this scope
+ struct Thing(u8, [u8; 0]);
+ let foo = core::iter::empty();
+
+ for Thing(x[]) in foo {}
+ //~^ ERROR: expected one of `)`, `,`, `@`, or `|`, found `[`
}
+
+const RECOVERY_WITNESS: () = 0; //~ ERROR mismatched types