tryEval cannot recover from throw on the left side of an implication

#345
Opened by amjoseph at 2023-12-12T06·36+00

error[E006]: expected value of type 'bool', but found a 'internal[catchable]' --> src/tests/tvix_tests/notyetpassing/eval-okay-test-catchables-in-implications.nix:1:43 | 1 | (builtins.tryEval (({ foo ? throw "up" }: foo -> true) { })).success | ^^^^^^^^^^^

  1. tazjin closed this issue at 2023-12-12T17·57+00