//@error-pattern: unknown field `foobar`, expected one of

fn main() {}