THIR date check

[simono]

Checked THIR as announced in #3040.

Updated the example output, added explicit tail call checking as a THIR use, and updated the paragraph on thir_body and memory usage.

Hope this is fine 😄

[rustbot]

Thanks for the PR. If you have write access, feel free to merge this PR if it does not need reviews. You can request a review using r? rustc-dev-guide or r? <username>.

[simono]

r? rustc-dev-guide

[jyn514]

Could you please add provenance for all your changes? Links to documentation, source code, tests, etc? Right now this is very hard for me to review.

[simono]

Hi @jyn514,

thanks so much for taking the time to review. Sorry if this is a bit bumpy, I just started with learning about the compiler internals.

Here's some additional context, hope that makes review easier.

1. attributes was renamed to loop_hint_attrs in rust-lang/rust@d3d2163 Here's some example output.

2. Explicit tail call checking reads THIR and I added it as another use. Its usage in MIR building.

3. thir_body is a query now. This was changed in Make building THIR a stealable query rust#85273 and not updated in this guide.

4. Unsafety checking steals the THIR and frees it afterwards, see comment and source

5. The THIR types live in rustc_middle::thir.

[jyn514]

thanks, i appreciate it :) this looks good.

View changes since this review