// error-pattern: expected `module`

#[attr = "val"];
#[attr = "val"] // Unterminated