pub fn extra_filename<'tcx>(_: TyCtxt<'tcx>, _: &extra_filename<'tcx>) -> bool