typechecker tests T13594 T13822 tc269 T13780c failing in devel2 flavour

The tests T13594 T13822 tc269 are failing for me with BuildFlavour=devel2. They pass with BuildFlavour=validate.

I have had a brief look to see if I could fix, but this is beyond my current capabilities.

test output pasted below:

=====> tc269(normal) 1 of 3 [0, 0, 0]
cd "./typecheck/should_compile/tc269.run" &&  "/home/doug/ghc-dev/devel2/inplace/bin/ghc-stage2" -c tc269.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 -fno-warn-incomplete-patterns 
Compile failed (exit code 1) errors were:
ghc-stage2: panic! (the 'impossible' happened)
  (GHC version 8.3.20170723 for x86_64-unknown-linux):
	ASSERT failed!
  in_scope InScope {k_aSm}
  tenv [aRJ :-> k_aSm[sk:2]]
  tenvFVs [aSg :-> k_aSg[tau:1], aSm :-> k_aSm[sk:2]]
  cenv []
  cenvFVs []
  tys [k_aRJ[sk:1] -> *]
  cos []
  Call stack:
      CallStack (from HasCallStack):
        prettyCurrentCallStack, called at compiler/utils/Outputable.hs:1133:58 in ghc:Outputable
        callStackDoc, called at compiler/utils/Outputable.hs:1188:22 in ghc:Outputable
        assertPprPanic, called at compiler/types/TyCoRep.hs:2089:56 in ghc:TyCoRep
        checkValidSubst, called at compiler/types/TyCoRep.hs:2122:29 in ghc:TyCoRep
        substTy, called at compiler/typecheck/TcCanonical.hs:673:36 in ghc:TcCanonical
  Call stack:
      CallStack (from HasCallStack):
        prettyCurrentCallStack, called at compiler/utils/Outputable.hs:1133:58 in ghc:Outputable
        callStackDoc, called at compiler/utils/Outputable.hs:1137:37 in ghc:Outputable
        pprPanic, called at compiler/utils/Outputable.hs:1186:5 in ghc:Outputable
        assertPprPanic, called at compiler/types/TyCoRep.hs:2089:56 in ghc:TyCoRep
        checkValidSubst, called at compiler/types/TyCoRep.hs:2122:29 in ghc:TyCoRep
        substTy, called at compiler/typecheck/TcCanonical.hs:673:36 in ghc:TcCanonical

Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug


*** unexpected failure for tc269(normal)
=====> T13594(normal) 2 of 3 [0, 1, 0]
cd "./typecheck/should_compile/T13594.run" &&  "/home/doug/ghc-dev/devel2/inplace/bin/ghc-stage2" -c T13594.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 -fno-warn-incomplete-patterns 
Compile failed (exit code 1) errors were:
ghc-stage2: panic! (the 'impossible' happened)
  (GHC version 8.3.20170723 for x86_64-unknown-linux):
	ASSERT failed!
  {$trModule = Module (TrNameS "main"#) (TrNameS "Bug"#),
   !x_a1o5 = (1, 2)}
  [x]
  Call stack:
      CallStack (from HasCallStack):
        prettyCurrentCallStack, called at compiler/utils/Outputable.hs:1133:58 in ghc:Outputable
        callStackDoc, called at compiler/utils/Outputable.hs:1188:22 in ghc:Outputable
        assertPprPanic, called at compiler/deSugar/DsBinds.hs:89:71 in ghc:DsBinds
  Call stack:
      CallStack (from HasCallStack):
        prettyCurrentCallStack, called at compiler/utils/Outputable.hs:1133:58 in ghc:Outputable
        callStackDoc, called at compiler/utils/Outputable.hs:1137:37 in ghc:Outputable
        pprPanic, called at compiler/utils/Outputable.hs:1186:5 in ghc:Outputable
        assertPprPanic, called at compiler/deSugar/DsBinds.hs:89:71 in ghc:DsBinds

Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug


*** unexpected failure for T13594(normal)
=====> T13822(normal) 3 of 3 [0, 2, 0]
cd "./typecheck/should_compile/T13822.run" &&  "/home/doug/ghc-dev/devel2/inplace/bin/ghc-stage2" -c T13822.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 -fno-warn-incomplete-patterns 
Compile failed (exit code 1) errors were:
ghc-stage2: panic! (the 'impossible' happened)
  (GHC version 8.3.20170723 for x86_64-unknown-linux):
	ASSERT failed!
  Bad coercion hole {a1bG}: (I (x_a19g |> Sym (Ty
                                                 (Sym cobox))_N) |> D:R:IK[0])
                            (I (x_a19g |> Sym (Ty (Sym cobox))_N) |> D:R:IK[0])
                            nominal
                            <(I (x_a19g |> Sym (Ty (Sym cobox))_N) |> D:R:IK[0])>_N
                            I (x_a19g[ssk:3] |> Sym (Ty (Sym cobox))_N)
                            I (x_a19g[ssk:3] |> Sym (Ty (Sym cobox))_N)
                            nominal
  Call stack:
      CallStack (from HasCallStack):
        prettyCurrentCallStack, called at compiler/utils/Outputable.hs:1133:58 in ghc:Outputable
        callStackDoc, called at compiler/utils/Outputable.hs:1188:22 in ghc:Outputable
        assertPprPanic, called at compiler/typecheck/TcMType.hs:304:105 in ghc:TcMType
  Call stack:
      CallStack (from HasCallStack):
        prettyCurrentCallStack, called at compiler/utils/Outputable.hs:1133:58 in ghc:Outputable
        callStackDoc, called at compiler/utils/Outputable.hs:1137:37 in ghc:Outputable
        pprPanic, called at compiler/utils/Outputable.hs:1186:5 in ghc:Outputable
        assertPprPanic, called at compiler/typecheck/TcMType.hs:304:105 in ghc:TcMType

Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug


*** unexpected failure for T13822(normal)

Unexpected results from:
TEST="T13594 T13822 tc269"

Actual stderr output differs from expected:
diff -uw "./dependent/should_fail/T13780c.run/T13780c.stderr.normalised" "./dependent/should_fail/T13780c.run/T13780c.comp.stderr.normalised"
--- ./dependent/should_fail/T13780c.run/T13780c.stderr.normalised	2017-08-02 18:34:10.711466876 +0000
+++ ./dependent/should_fail/T13780c.run/T13780c.comp.stderr.normalised	2017-08-02 18:34:10.711466876 +0000
@@ -1,12 +1,14 @@
 [1 of 2] Compiling T13780b          ( T13780b.hs, T13780b.o )
 [2 of 2] Compiling T13780c          ( T13780c.hs, T13780c.o )
+ghc: panic! (the 'impossible' happened)
+  (GHC version 8.3.20170802 for x86_64-unknown-linux):
+	piResultTy
+  k_a1dY[tau:1]
+  'True
+  Call stack:
+      CallStack (from HasCallStack):
+        callStackDoc, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable
+        pprPanic, called at compiler/types/Type.hs:<line>:<column> in <package-id>:Type
+        piResultTy, called at compiler/types/Type.hs:<line>:<column> in <package-id>:Type
 
-T13780c.hs:11:16:
-     Expected kind ‘Sing _’, but ‘SFalse’ has kind ‘Sing 'False’
-     In the third argument of ‘ElimBool’, namely ‘SFalse’
-      In the type family declaration for ‘ElimBool’
-
-T13780c.hs:12:16:
-     Expected kind ‘Sing _1’, but ‘STrue’ has kind ‘Sing 'True’
-     In the third argument of ‘ElimBool’, namely ‘STrue’
-      In the type family declaration for ‘ElimBool’
+Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
*** unexpected failure for T13780c(normal)