fn reachable_set(tcx: TyCtxt<'_>, (): ()) -> LocalDefIdSet