fn missing_items_err( tcx: TyCtxt<'_>, impl_span: Span, missing_items: &[&AssocItem], full_impl_span: Span)