diff options
| author | Michael Goulet <michael@errs.io> | 2023-01-11 19:44:49 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-01-19 20:20:58 +0000 |
| commit | a3d5be6631f9d7cef7aeabb5fb9694aacc37f969 (patch) | |
| tree | eb7df8c5a0e7f61c06b1713e128ece9c13cfb614 | |
| parent | 3eecdd10a2e145c1744592784de41a0d6e7c30a2 (diff) | |
| download | rust-a3d5be6631f9d7cef7aeabb5fb9694aacc37f969.tar.gz rust-a3d5be6631f9d7cef7aeabb5fb9694aacc37f969.zip | |
Make bare known-bug an error
| -rw-r--r-- | src/tools/compiletest/src/header.rs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/tools/compiletest/src/header.rs b/src/tools/compiletest/src/header.rs index c5767a79538..c49ecb104a7 100644 --- a/src/tools/compiletest/src/header.rs +++ b/src/tools/compiletest/src/header.rs @@ -426,10 +426,15 @@ impl TestProps { self.known_bug = true; } else { 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| { s.trim().to_string() }); |