fn check_item<'tcx>(
    tcx: TyCtxt<'tcx>,
    id: ItemId,
    worklist: &mut Vec<LocalDefId>,
    effective_visibilities: &EffectiveVisibilities
)