Make bare known-bug an error

This commit is contained in:
Michael Goulet 2023-01-11 19:44:49 +00:00
parent 3eecdd10a2
commit a3d5be6631

View File

@ -426,10 +426,15 @@ fn load_from(&mut self, testfile: &Path, cfg: Option<&str>, config: &Config) {
self.known_bug = true; self.known_bug = true;
} else { } else {
panic!( panic!(
"Invalid known-bug value: {known_bug}\nIt requires comma-separated issue references (`#000` or `chalk#000`) or `unknown`." "Invalid known-bug value: {known_bug}\nIt requires comma-separated issue references (`#000` or `chalk#000`) or `known-bug: unknown`."
); );
} }
} else if config.parse_name_directive(ln, KNOWN_BUG) {
panic!(
"Invalid known-bug attribute, requires comma-separated issue references (`#000` or `chalk#000`) or `known-bug: unknown`."
);
} }
config.set_name_value_directive(ln, MIR_UNIT_TEST, &mut self.mir_unit_test, |s| { config.set_name_value_directive(ln, MIR_UNIT_TEST, &mut self.mir_unit_test, |s| {
s.trim().to_string() s.trim().to_string()
}); });