fn coerce_shared_diagnostic_context( tcx: TyCtxt<'_>, impl_did: LocalDefId, ) -> CoerceSharedDiagnosticContext