Type Definition rustc_middle::ty::query::query_storage::extra_filename [−][src]
pub type extra_filename<'tcx> = DefaultCache<CrateNum, String>;
pub type extra_filename<'tcx> = DefaultCache<CrateNum, String>;