mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Give some more queries descriptions

Browse Source
This commit is contained in:
Matthew Jasper 2019-12-28 11:24:26 +00:00
parent 60970be1fd
commit 43dae91821
1 changed files with 6 additions and 1 deletions

7
src/librustc/query/mod.rs

@ -125,7 +125,9 @@ rustc_queries! {
/// Fetch the MIR for a given `DefId` right after it's built - this includes /// Fetch the MIR for a given `DefId` right after it's built - this includes
/// unreachable code. /// unreachable code.
query mir_built(_: DefId) -> &'tcx Steal<mir::BodyAndCache<'tcx>> {} query mir_built(_: DefId) -> &'tcx Steal<mir::BodyAndCache<'tcx>> {
desc { "building MIR for" }
}
/// Fetch the MIR for a given `DefId` up till the point where it is /// Fetch the MIR for a given `DefId` up till the point where it is
/// ready for const evaluation. /// ready for const evaluation.
@ -345,6 +347,7 @@ rustc_queries! {
TypeChecking { TypeChecking {
/// The result of unsafety-checking this `DefId`. /// The result of unsafety-checking this `DefId`.
query unsafety_check_result(key: DefId) -> mir::UnsafetyCheckResult { query unsafety_check_result(key: DefId) -> mir::UnsafetyCheckResult {
desc { |tcx| "unsafety-checking `{}`", tcx.def_path_str(key) }
cache_on_disk_if { key.is_local() } cache_on_disk_if { key.is_local() }
} }
@ -414,6 +417,7 @@ rustc_queries! {
} }
query typeck_tables_of(key: DefId) -> &'tcx ty::TypeckTables<'tcx> { query typeck_tables_of(key: DefId) -> &'tcx ty::TypeckTables<'tcx> {
desc { |tcx| "type-checking `{}`", tcx.def_path_str(key) }
cache_on_disk_if { key.is_local() } cache_on_disk_if { key.is_local() }
load_cached(tcx, id) { load_cached(tcx, id) {
let typeck_tables: Option<ty::TypeckTables<'tcx>> = tcx let typeck_tables: Option<ty::TypeckTables<'tcx>> = tcx
@ -453,6 +457,7 @@ rustc_queries! {
/// Borrow-checks the function body. If this is a closure, returns /// Borrow-checks the function body. If this is a closure, returns
/// additional requirements that the closure's creator must verify. /// additional requirements that the closure's creator must verify.
query mir_borrowck(key: DefId) -> mir::BorrowCheckResult<'tcx> { query mir_borrowck(key: DefId) -> mir::BorrowCheckResult<'tcx> {
desc { |tcx| "borrow-checking `{}`", tcx.def_path_str(key) }
cache_on_disk_if(tcx, _) { key.is_local() && tcx.is_closure(key) } cache_on_disk_if(tcx, _) { key.is_local() && tcx.is_closure(key) }
} }
} }