diff options
| author | Nadrieril <nadrieril+git@gmail.com> | 2025-06-01 17:29:33 +0200 |
|---|---|---|
| committer | Nadrieril <nadrieril+git@gmail.com> | 2025-06-01 19:14:13 +0200 |
| commit | 1e169d8dc406ff2eb5cd38b35053e2f50cbb0f54 (patch) | |
| tree | 05df1177cc191c4ee7771f3958476b940883ded2 /compiler/rustc_middle/src | |
| parent | 9b0268a43b0a5b58f50c96ded25364037c019a61 (diff) | |
| download | rust-1e169d8dc406ff2eb5cd38b35053e2f50cbb0f54.tar.gz rust-1e169d8dc406ff2eb5cd38b35053e2f50cbb0f54.zip | |
Optionally don't steal the THIR
Diffstat (limited to 'compiler/rustc_middle/src')
| -rw-r--r-- | compiler/rustc_middle/src/query/mod.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_middle/src/query/mod.rs b/compiler/rustc_middle/src/query/mod.rs index 279033ee072..542653efd30 100644 --- a/compiler/rustc_middle/src/query/mod.rs +++ b/compiler/rustc_middle/src/query/mod.rs @@ -535,7 +535,8 @@ rustc_queries! { separate_provide_extern } - /// Fetch the THIR for a given body. + /// Fetch the THIR for a given body. The THIR body gets stolen by unsafety checking unless + /// `-Zno-steal-thir` is on. query thir_body(key: LocalDefId) -> Result<(&'tcx Steal<thir::Thir<'tcx>>, thir::ExprId), ErrorGuaranteed> { // Perf tests revealed that hashing THIR is inefficient (see #85729). no_hash |