Type Definition rustc_middle::ty::query::query_stored::extra_filename[][src]

pub type extra_filename<'tcx> = String;