Function check_item 

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