fn check_overriding_final_trait_item<'tcx>( tcx: TyCtxt<'tcx>, trait_item: AssocItem, impl_item: AssocItem, )