Assertion failures in tests T7224, T9201, LevPolyBounded

To reproduce, build GHC HEAD with slow validate settings, then run the tests. Outputs:

=====> T7224(normal) 9 of 15 [0, 2, 0]
cd "polykinds/T7224.run" &&  "/home/omer/haskell/ghc/inplace/test   spaces/ghc-stage2" -c T7224.hs -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output
Actual stderr output differs from expected:
diff -uw "polykinds/T7224.run/T7224.stderr.normalised" "polykinds/T7224.run/T7224.comp.stderr.normalised"
--- polykinds/T7224.run/T7224.stderr.normalised 2018-08-11 13:33:16.874459507 +0300
+++ polykinds/T7224.run/T7224.comp.stderr.normalised    2018-08-11 13:33:16.874459507 +0300
@@ -1,13 +1,11 @@
+ghc: panic! (the 'impossible' happened)
+  (GHC version 8.7.20180809 for x86_64-unknown-linux):
+       ASSERT failed!
+  Type-correct unfilled coercion hole {co_asw}
+  Call stack:
+      CallStack (from HasCallStack):
+        callStackDoc, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable
+        pprPanic, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable
+        assertPprPanic, called at compiler/typecheck/TcHsSyn.hs:<line>:<column> in <package-id>:TcHsSyn

-T7224.hs:6:19:
-     Expected kind ‘i’, but ‘i’ has kind ‘*’
-     In the first argument of ‘m’, namely ‘i’
-      In the type signature: ret' :: a -> m i i a
-      In the class declaration for ‘PMonad'’
-
-T7224.hs:7:14:
-     Expected kind ‘i’, but ‘i’ has kind ‘*’
-     In the first argument of ‘m’, namely ‘i’
-      In the type signature:
-        bind' :: m i j a -> (a -> m j k b) -> m i k b
-      In the class declaration for ‘PMonad'’
+Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
*** unexpected failure for T7224(normal)

=====> T9201(normal) 11 of 15 [0, 3, 0]
cd "typecheck/should_fail/T9201.run" &&  "/home/omer/haskell/ghc/inplace/test   spaces/ghc-stage2" -c T9201.hs -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output
Actual stderr output differs from expected:
diff -uw "typecheck/should_fail/T9201.run/T9201.stderr.normalised" "typecheck/should_fail/T9201.run/T9201.comp.stderr.normalised"
--- typecheck/should_fail/T9201.run/T9201.stderr.normalised     2018-08-11 13:33:21.058404868 +0300
+++ typecheck/should_fail/T9201.run/T9201.comp.stderr.normalised        2018-08-11 13:33:21.058404868 +0300
@@ -1,7 +1,11 @@
+ghc: panic! (the 'impossible' happened)
+  (GHC version 8.7.20180809 for x86_64-unknown-linux):
+       ASSERT failed!
+  Type-correct unfilled coercion hole {co_asr}
+  Call stack:
+      CallStack (from HasCallStack):
+        callStackDoc, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable
+        pprPanic, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable
+        assertPprPanic, called at compiler/typecheck/TcHsSyn.hs:<line>:<column> in <package-id>:TcHsSyn

-T9201.hs:6:17:
-     Expected kind ‘x’, but ‘a’ has kind ‘y’
-     In the first argument of ‘f’, namely ‘a’
-      In the second argument of ‘d’, namely ‘(f a)’
-      In the type signature:
-        ret :: d a (f a)
+Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
*** unexpected failure for T9201(normal)

=====> LevPolyBounded(normal) 12 of 15 [0, 4, 0]
cd "typecheck/should_fail/LevPolyBounded.run" &&  "/home/omer/haskell/ghc/inplace/test   spaces/ghc-stage2" -c LevPolyBounded.hs -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output
Actual stderr output differs from expected:
diff -uw "typecheck/should_fail/LevPolyBounded.run/LevPolyBounded.stderr.normalised" "typecheck/should_fail/LevPolyBounded.run/LevPolyBounded.comp.stderr.normalised"
--- typecheck/should_fail/LevPolyBounded.run/LevPolyBounded.stderr.normalised   2018-08-11 13:33:21.150403667 +0300
+++ typecheck/should_fail/LevPolyBounded.run/LevPolyBounded.comp.stderr.normalised      2018-08-11 13:33:21.150403667 +0300
@@ -1,5 +1,11 @@
+ghc: panic! (the 'impossible' happened)
+  (GHC version 8.7.20180809 for x86_64-unknown-linux):
+       ASSERT failed!
+  Type-correct unfilled coercion hole {co_avm}
+  Call stack:
+      CallStack (from HasCallStack):
+        callStackDoc, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable
+        pprPanic, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable
+        assertPprPanic, called at compiler/typecheck/TcHsSyn.hs:<line>:<column> in <package-id>:TcHsSyn

-LevPolyBounded.hs:10:15:
-     Expected a type, but ‘a’ has kind ‘TYPE r’
-     In the type signature: LevPolyBounded.minBound :: a
-      In the class declaration for ‘XBounded’
+Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
*** unexpected failure for LevPolyBounded(normal)