From fc15c619c8130d67564baadfb939619efc64b8a4 Mon Sep 17 00:00:00 2001
From: Ryan Hendrickson <ryan.hendrickson@alum.mit.edu>
Date: Tue, 22 Jul 2025 11:32:07 -0400
Subject: [PATCH] add coerce-with-substitution

---
 build-constraints.yaml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 5bb45707..4f221547 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -4066,6 +4066,9 @@ packages:
         - tasty-lua
         - gridtables
 
+    "Ryan Hendrickson @rhendric":
+        - coerce-with-substitution
+
     "Judah Jacobson <judah.jacobson@gmail.com> @judah":
         - proto-lens-protobuf-types
         - proto-lens-protoc
@@ -9265,6 +9268,10 @@ expected-haddock-failures:
     - doctest-parallel # https://github.com/commercialhaskell/stackage/issues/5014
     - tztime # https://github.com/commercialhaskell/stackage/issues/5014
 
+    # Triggers https://gitlab.haskell.org/ghc/ghc/-/issues/25739
+    # GHC has fixed this for 9.14, not yet backported to earlier versions.
+    - coerce-with-substitution
+
 # end of expected-haddock-failures
 
 # For packages with haddock issues