Type Definition rustc_middle::ty::query::query_values::extra_filename

type extra_filename<'tcx> = String;