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

PCase06.hs:13:14: error: [GHC-39584]
    " sCase/pCase: Pattern guards are not supported: 
        Just 1 <- Just i

    " In the quasi-quotation:
        [pCase| e of
        Zero        -> undefined
        Num i | Just 1 <- Just i -> undefined
        Var _       -> undefined
      |]
   |
13 | t e = [pCase| e of
   |              ^^^^^...