Type Definition rustc_middle::ty::query::query_keys::covered_code_regions

type covered_code_regions<'tcx> = DefId;