diff options
| author | Urgau <urgau@numericable.fr> | 2023-07-27 19:04:13 +0200 |
|---|---|---|
| committer | Urgau <urgau@numericable.fr> | 2023-07-27 19:05:17 +0200 |
| commit | 9268a8b060f01ace9e925f27778d2768f4850cf8 (patch) | |
| tree | c753d018025ed3c6f0a40aed2d213c1f6a8f5353 /compiler/rustc_mir_transform/src/coverage/graph.rs | |
| parent | 23405bb123681399c912552fa1c09264c0d4930d (diff) | |
| download | rust-9268a8b060f01ace9e925f27778d2768f4850cf8.tar.gz rust-9268a8b060f01ace9e925f27778d2768f4850cf8.zip | |
Make `--print KIND=PATH` unstable
https://github.com/rust-lang/rust/pull/113780 should have gone through an MCP+FCP but wasn't, but instead of reverting the original PR, this PR just make that new option unstable.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/graph.rs')
0 files changed, 0 insertions, 0 deletions