Type Definition rustc_middle::ty::query::query_keys::covered_file_name

type covered_file_name<'tcx> = DefId;