1
Fork 0

Rename doc(primitive) into rustc_doc_primitive

This commit is contained in:
Guillaume Gomez 2023-03-21 16:43:51 +01:00
parent 789ee5e433
commit f40aa598e9
6 changed files with 6 additions and 19 deletions

View file

@ -1245,6 +1245,7 @@ symbols! {
rustc_diagnostic_macros,
rustc_dirty,
rustc_do_not_const_check,
rustc_doc_primitive,
rustc_dummy,
rustc_dump_env_program_clauses,
rustc_dump_program_clauses,