pub fn get_local_crates(tcx: TyCtxt<'_>) -> Vec<CrateNum>
Retrieve the list of local crates that should have been passed by cargo-miri in MIRI_LOCAL_CRATES and turn them into CrateNums.
CrateNum
