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