fn check_trait_item(
    tcx: TyCtxt<'_>,
    worklist: &mut Vec<LocalDefId>,
    id: TraitItemId
)