]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 6718723 d286df1)
Rollup merge of #97555 - GuillaumeGomez:line-number-click, r=notriddle
authorMichael Goulet <michael@errs.io>
Mon, 30 May 2022 22:57:30 +0000 (15:57 -0700)
committerGitHub <noreply@github.com>
Mon, 30 May 2022 22:57:30 +0000 (15:57 -0700)
commit4c77fd30febd5ef5c9ab30e536a1bd6b501440c5
tree6e30199f163969f8a6509a507260b6a0971677cdtree | snapshot
parent6718723c96e7ad21e0232af9be941e5a5b9a542dcommit | diff
parentd286df1402f0e3a96e9ec11748e80c8be4bca92fcommit | diff
Rollup merge of #97555 - GuillaumeGomez:line-number-click, r=notriddle

Source code page: line number click adds `NaN`

When you click on the parent element of the line numbers in the source code pages, it'll add `NaN` (like in https://doc.rust-lang.org/nightly/src/alloc/lib.rs.html#NaN). This PR fixes this bug.

cc ``@jsha``
r? ``@notriddle``
Empowering everyone to build reliable and efficient software.