mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fix a couple links

This commit is contained in:
mark 2020-12-02 22:40:36 -06:00 committed by Joshua Nelson
parent 44c7c54da1
commit b3fc04e298
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/pat-exhaustive-checking.md
View File

@ -80,9 +80,9 @@ fn foo(Foo { x, y }: Foo) {
## The algorithm ## The algorithm
Exhaustiveness checking is implemented in [check_match]. Exhaustiveness checking is implemented in [`check_match`].
The core of the algorithm is in [_match]. The core of the algorithm is in [`usefulness`].
That file contains a detailed description of the algorithm. That file contains a detailed description of the algorithm.
[check_match]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir_build/thir/pattern/check_match/index.html [`check_match`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir_build/thir/pattern/check_match/index.html
[_match]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir_build/thir/pattern/_match/index.html [`usefulness`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir_build/thir/pattern/usefulness/index.html

2
src/traits/hrtb.md
View File

@ -42,7 +42,7 @@ subtyping, we recommend you read the paper). There are a few parts:
[hrsubtype]: ./hrtb.md [hrsubtype]: ./hrtb.md
[placeholder]: ../appendix/glossary.html#placeholder [placeholder]: ../appendix/glossary.html#placeholder
[paper by SPJ]: http://research.microsoft.com/en-us/um/people/simonpj/papers/higher-rank/ [paper by SPJ]: https://www.microsoft.com/en-us/research/publication/practical-type-inference-for-arbitrary-rank-types
So let's work through our example. So let's work through our example.