`tasty_multiple_requests_accepted` property test failures about primer HOT 2 OPEN

Tests
--
  | EvalFullInterp
  | two interp agree:                                   FAIL (11.74s)
  | ✗ two interp agree failed at test/Tests/EvalFullInterp.hs:467:60
  | after 725 tests, 5 shrinks and 623 discards.
  | shrink path: 725/623:cA2cJ
  | both terminated         99% ███████████████████▉
  | one failed to terminate  0% ····················
  |  
  | ┏━━ test/Tests/Eval/Utils.hs ━━━
  | 51 ┃ genDirTm :: PropertyT WT (Dir, Expr, Type' () ())
  | 52 ┃ genDirTm = do
  | 53 ┃   dir <- forAllT $ Gen.element @[] [Chk, Syn]
  | ┃   │ Chk
  | 54 ┃   (t', ty) <- case dir of
  | 55 ┃     Chk -> do
  | 56 ┃       ty' <- forAllT $ genWTType $ KType ()
  | ┃       │ TApp () (TEmptyHole ()) (TEmptyHole ())
  | 57 ┃       t' <- forAllT $ genChk ty'
  | ┃       │ Letrec
  | ┃       │   ()
  | ┃       │   LocalName { unLocalName = "y" }
  | ┃       │   (EmptyHole ())
  | ┃       │   (TEmptyHole ())
  | ┃       │   (Let
  | ┃       │      ()
  | ┃       │      LocalName { unLocalName = "y" }
  | ┃       │      (EmptyHole ())
  | ┃       │      (Hole
  | ┃       │         ()
  | ┃       │         (Case
  | ┃       │            ()
  | ┃       │            (Ann
  | ┃       │               ()
  | ┃       │               (EmptyHole ())
  | ┃       │               (TCon
  | ┃       │                  ()
  | ┃       │                  GlobalName
  | ┃       │                    { qualifiedModule =
  | ┃       │                        ModuleName { unModuleName = "Primitives" :\| [] }
  | ┃       │                    , baseName = "Char"
  | ┃       │                    }))
  | ┃       │            []
  | ┃       │            (CaseFallback
  | ┃       │               (Var
  | ┃       │                  ()
  | ┃       │                  (GlobalVarRef
  | ┃       │                     GlobalName
  | ┃       │                       { qualifiedModule = ModuleName { unModuleName = "M" :\| [] }
  | ┃       │                       , baseName = "idChar"
  | ┃       │                       }))))))
  | 58 ┃       pure (t', ty')
  | 59 ┃     Syn -> forAllT genSyn
  | 60 ┃   t <- generateIDs t'
  | 61 ┃   pure (dir, t, ty)
  |  
  | ┏━━ test/Tests/EvalFullInterp.hs ━━━
  | 454 ┃ tasty_two_interp_agree :: Property
  | 455 ┃ tasty_two_interp_agree = withTests 1000
  | 456 ┃   $ withDiscards 2000
  | 457 ┃   $ propertyWT testModules
  | 458 ┃   $ do
  | 459 ┃     let globs = foldMap' moduleDefsQualified $ create' $ sequence testModules
  | 460 ┃     tds <- asks typeDefs
  | 461 ┃     (dir, t, _ty) <- genDirTm
  | 462 ┃     let optsV = ViewRedexOptions{groupedLets = True, aggressiveElision = True, avoidShadowing = False}
  | 463 ┃     let optsR = RunRedexOptions{pushAndElide = True}
  | 464 ┃     (_, ss) <- failWhenSevereLogs $ evalFullStepCount @EvalLog UnderBinders optsV optsR tds globs 100 dir t
  | 465 ┃     si <- liftIO (evalFullTest' (MicroSec 10_000) tds globs dir $ forgetMetadata t)
  | 466 ┃     case (ss, si) of
  | 467 ┃       (Right ss', Right si') -> label "both terminated" >> Hedgehog.diff (forgetMetadata ss') alphaEq si'
  | ┃       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  | ┃       │ ━━━ Failed (- lhs) (+ rhs) ━━━
  | ┃       │   Hole
  | ┃       │     ()
  | ┃       │ -   Ann
  | ┃       │ -     ()
  | ┃       │ -     (Lam
  | ┃       │ -        ()
  | ┃       │ -        LocalName { unLocalName = "x" }
  | ┃       │ -        (Var () (LocalVarRef LocalName { unLocalName = "x" })))
  | ┃       │ -     (TFun
  | ┃       │ -        ()
  | ┃       │ -        (TCon
  | ┃       │ -           ()
  | ┃       │ -           GlobalName
  | ┃       │ -             { qualifiedModule =
  | ┃       │ -                 ModuleName { unModuleName = "Primitives" :\| [] }
  | ┃       │ -             , baseName = "Char"
  | ┃       │ -             })
  | ┃       │ -        (TCon
  | ┃       │ -           ()
  | ┃       │ -           GlobalName
  | ┃       │ -             { qualifiedModule =
  | ┃       │ -                 ModuleName { unModuleName = "Primitives" :\| [] }
  | ┃       │ -             , baseName = "Char"
  | ┃       │ -             }))
  | ┃       │ +   Lam
  | ┃       │ +     ()
  | ┃       │ +     LocalName { unLocalName = "x" }
  | ┃       │ +     (Var () (LocalVarRef LocalName { unLocalName = "x" }))
  | 468 ┃       _ -> label "one failed to terminate"
  |  
  | This failure can be reproduced by running:
  | > recheckAt (Seed 267242377111036614 4435999987528114339) "725/623:cA2cJ" two interp agree
  |  
  | Use "--pattern '$NF ~ /two interp agree/' --hedgehog-replay '725/623:cA2cJ Seed 267242377111036614 4435999987528114339'" to reproduce from the command-line.
  |  
  | Use -p '/two interp agree/' to rerun this test only.
  |  
  | 1 out of 862 tests failed (91.94s)

             This failure can be reproduced by running:
              > recheckAt (Seed 12448919876317083484 8517633342112724275) "88/249:cDeYbA2" multiple requests accepted
          Use "--pattern '$NF ~ /multiple requests accepted/' --hedgehog-replay '88/249:cDeYbA2 Seed 12448919876317083484 8517633342112724275'" to reproduce from the command-line.