diff options
| author | Gurinder Singh <frederick.the.fool@gmail.com> | 2023-10-12 07:22:41 +0530 |
|---|---|---|
| committer | Gurinder Singh <frederick.the.fool@gmail.com> | 2023-10-12 07:22:41 +0530 |
| commit | 66e643d0f8a6406525ecbf61f8d99005208f97f4 (patch) | |
| tree | 90f8819a436e223547ac2d907a0544f588f2b7a1 /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | 2e7e0fb83800e66a3266b29744f561c84dc1deaf (diff) | |
| download | rust-66e643d0f8a6406525ecbf61f8d99005208f97f4.tar.gz rust-66e643d0f8a6406525ecbf61f8d99005208f97f4.zip | |
Fix duplicate note on internal feature gate
The BuiltinInternalFeatures gate already has a struct level #[note] attribute. The additional note field in it caused a duplicate to be displayed when it was set to Some(...) which happened when the feature had an associated issue
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions