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