Function rustc_middle::ty::query::query_provided_to_value::extra_filename

pub fn extra_filename<'tcx>(
    _tcx: TyCtxt<'tcx>,
    value: extra_filename<'tcx>
) -> Erase<extra_filename<'tcx>>