We should talk first about:
span_label etcEDIT(mark-i-m): See https://github.com/rust-lang/rustc-dev-guide/issues/14#issuecomment-514932385
cc @estebank
Looks to me like this issue is currently missing the following:
Errors:
span_label etcLints:
Nothing? Maybe the section about removing lints present in the rustc Bug Fix Procedure could be added.
It might also be nice to link to the lint naming ~recommendations~ rules from RFC0344