fn check_impl_item(tcx: TyCtxt<'_>, impl_item: &ImplItem<'_>)