diff options
| author | Ralf Jung <post@ralfj.de> | 2024-11-10 12:04:12 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-11-10 12:12:12 +0100 |
| commit | 23054c5dfcaa3598b0fa59dcb181fc30847681d6 (patch) | |
| tree | 3acebdcb251e9b6cb620c80fd74da0373c54d670 /compiler/rustc_middle/src | |
| parent | 668959740f97e7a22ae340742886d330ab63950f (diff) | |
move all mono-time checks into their own folder, and their own query
Diffstat (limited to 'compiler/rustc_middle/src')
| -rw-r--r-- | compiler/rustc_middle/src/query/mod.rs | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/compiler/rustc_middle/src/query/mod.rs b/compiler/rustc_middle/src/query/mod.rs index 54ead9a7a75..084a592910c 100644 --- a/compiler/rustc_middle/src/query/mod.rs +++ b/compiler/rustc_middle/src/query/mod.rs @@ -2326,13 +2326,19 @@ rustc_queries! { separate_provide_extern } - /// Check the signature of this function as well as all the call expressions inside of it - /// to ensure that any target features required by the ABI are enabled. - /// Should be called on a fully monomorphized instance. - query check_feature_dependent_abi(key: ty::Instance<'tcx>) { - desc { "check for feature-dependent ABI" } + /// Perform monomorphization-time checking on this item. + /// This is used for lints/errors that can only be checked once the instance is fully + /// monomorphized. + query check_mono_item(key: ty::Instance<'tcx>) { + desc { "monomorphization-time checking" } cache_on_disk_if { true } } + + /// Builds the set of functions that should be skipped for the move-size check. + query skip_move_check_fns(_: ()) -> &'tcx FxIndexSet<DefId> { + arena_cache + desc { "functions to skip for move-size check" } + } } rustc_query_append! { define_callbacks! } |
