sbv-14.0: SBVTestSuite/TestSuite/CompileTests/PCase/PCase50.stderr

PCase50.hs:(18,15)-(20,9): Splicing expression
    ghc-internal:GHC.Internal.TH.Quote.quoteExp
      pCase
      " e of\n\
      \         _ -> e .== e =: qed\n\
      \       "
  ======>
    cases [(sTrue ==> (e .== e =: qed))]