Module plumbing 

The implementation of the query system itself. This defines the macros that generate the actual methods on tcx which find and execute the provider, manage the caches, and so forth.

Macros

call_provider 🔒

cycle_error_handling 🔒

define_queries 🔒

hash_result 🔒

if_cache_on_disk 🔒

Expands to one of two token trees, depending on whether the current query has the cache_on_disk_if modifier.

is_anon 🔒

is_depth_limit 🔒

is_eval_always 🔒

is_feedable 🔒

item_if_cache_on_disk 🔒

Conditionally expands to some token trees, if the current query has the cache_on_disk_if modifier.

Functions

collect_active_jobs_from_all_queries

Returns a map of currently active query jobs, collected from all queries.

create_deferred_query_stack_frame 🔒

current_query_job 🔒

depth_limit_error 🔒

encode_all_query_results 🔒

encode_query_results_inner 🔒

force_from_dep_node_inner 🔒

Implementation of DepKindVTable::force_from_dep_node for queries.

loadable_from_disk 🔒

mk_query_stack_frame_extra 🔒

The deferred part of a deferred query stack frame.

next_job_id 🔒

query_key_hash_verify 🔒

query_key_hash_verify_all

start_query 🔒

Executes a job by changing the ImplicitCtxt to point to the new query job while it executes.

try_load_from_disk 🔒

try_load_from_on_disk_cache_inner 🔒

Implementation of DepKindVTable::try_load_from_on_disk_cache for queries.

try_mark_green 🔒