diff options
| author | Ralf Jung <post@ralfj.de> | 2025-07-01 05:35:39 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-01 05:35:39 +0000 |
| commit | 83d519c6d0647b25fb1562bcb60e8a3ed244db5a (patch) | |
| tree | f9b1d65029bae680aeee8b28cf45562660ea5fbc /src/doc/rustc-dev-guide | |
| parent | 8bb5f8cae4607190b92db6693bb5ab5931d82412 (diff) | |
| parent | 8958967fd498ad2e4fbaf08085e6ba3872776089 (diff) | |
| download | rust-83d519c6d0647b25fb1562bcb60e8a3ed244db5a.tar.gz rust-83d519c6d0647b25fb1562bcb60e8a3ed244db5a.zip | |
Merge pull request #4431 from rust-lang/rustup-2025-07-01
Automatic Rustup
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/tests/ui.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/tests/ui.md b/src/doc/rustc-dev-guide/src/tests/ui.md index 09dc476d68e..f7e62e1eccf 100644 --- a/src/doc/rustc-dev-guide/src/tests/ui.md +++ b/src/doc/rustc-dev-guide/src/tests/ui.md @@ -499,7 +499,7 @@ This directive takes comma-separated issue numbers as arguments, or `"unknown"`: - `//@ known-bug: rust-lang/chalk#123456` (allows arbitrary text before the `#`, which is useful when the issue is on another repo) - `//@ known-bug: unknown` - (when there is no known issue yet; preferrably open one if it does not already exist) + (when there is no known issue yet; preferably open one if it does not already exist) Do not include [error annotations](#error-annotations) in a test with `known-bug`. The test should still include other normal directives and |