Module callbacks 

Structs

CrateChecker 🔒

FluxCallbacks

Functions

check_crate 🔒

collect_specs 🔒

encode_and_save_metadata 🔒

mir_borrowck 🔒

trigger_queries 🔒

Triggers queries for the given def_id to mark it as “reached” for metadata encoding.