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