Type Definition rustc_middle::ty::query::query_keys::extra_filename

pub type extra_filename<'tcx> = CrateNum;