fn create_and_seed_worklist<'tcx>(
    tcx: TyCtxt<'tcx>
) -> (Vec<LocalDefId>, FxHashMap<LocalDefId, LocalDefId>)