diff options
| author | David Wood <david.wood@huawei.com> | 2022-07-26 11:42:27 +0100 |
|---|---|---|
| committer | David Wood <david.wood@huawei.com> | 2022-07-27 11:24:27 +0100 |
| commit | f5e005f0ca0b6fbc427315fa7e6943f4b738e12d (patch) | |
| tree | de0cf7876605a8ee27d3c04ed92cd15d3a3baf76 /compiler/rustc_codegen_gcc/src | |
| parent | 1b8e4b9391550147683c6cbec91faa95289a5827 (diff) | |
| download | rust-f5e005f0ca0b6fbc427315fa7e6943f4b738e12d.tar.gz rust-f5e005f0ca0b6fbc427315fa7e6943f4b738e12d.zip | |
session: disable internal lints for rustdoc
If an internal lint uses `typeck_results` or similar queries then that can result in rustdoc checking code that it shouldn't (e.g. from other platforms) and emit compilation errors. Signed-off-by: David Wood <david.wood@huawei.com>
Diffstat (limited to 'compiler/rustc_codegen_gcc/src')
0 files changed, 0 insertions, 0 deletions