Closed
Description
Some diagnostics include a link to GitHub issues. From the ui testsuite, I found at least these two patterns:
= note: for more information, see https://github.com/rust-lang/rust/issues/51999
= note: for more information, see issue #36887 <https://github.com/rust-lang/rust/issues/36887>
These should use the same format. My preference is for the latter:
see issue #XXXXX <https://github.com/rust-lang/rust/issues/XXXXX>
/cc @varkor