rustc-dev-guide
rustc-dev-guide copied to clipboard
rust-lang
A guide to how rustc works and how to contribute to it.
Mario Carneiro noticed some issues in the [reading club meeting](https://rust-lang.zulipchat.com/#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/.5Breading.20club.5D.202024.2E05.2E02.20chapter.2039.20.28MIR.29). cc @digama0
The documentation for proof trees seems out of date. [In rustc-dev-guide/src/solve/proof-trees.md, line 19](https://github.com/rust-lang/rustc-dev-guide/blob/fa928a6d19e1666d8d811dfe3fd35cdad3b4e459/src/solve/proof-trees.md?plain=1#L19) there is a mention > For debugging you can use `-Zdump-solver-proof-tree` which dumps the proof tree for...
### What does this PR try to resolve? Cargo and bootstrap use the same name for their configuration file. this is confusing. This pr attempts to disambiguate the naming, makes...
This came up in https://github.com/rust-lang/rust/pull/129377. @oli-obk I wonder if it would make sense to say that if a function is `#[unstable]` but a `const fn`, that implicitly makes it `#[rustc_const_unstable]`...
Over the last week, I attempted to thoroughly understand rust's query system by implementing a toy one myself. That's not very relevant, but what is, is that I ended up...
After the recent effort, one can run full Linkcheck locally and all links are valid now. However, the [GitHub Action CI](https://github.com/rust-lang/rustc-dev-guide/actions/workflows/ci.yml) is still unhappy for 2 reasons: - `Server returned...
The file is part of the git history and is a configuration file. Fixes: #2018
Added a section on overlap checks after talking with @lcnr