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