This commit is contained in:
microproofs 2024-02-06 14:07:40 -05:00 committed by Kasey
parent 3b4c6cb2aa
commit 0e2995e16e
1 changed files with 6 additions and 2 deletions

View File

@ -3592,7 +3592,9 @@ fn generic_validator_type_test() {
) )
.delayed_if_then_else( .delayed_if_then_else(
Term::unit(), Term::unit(),
Term::Error, Term::Error.delayed_trace(
Term::var("param_msg"),
),
), ),
Term::Error.delayed_trace( Term::Error.delayed_trace(
Term::var("param_msg"), Term::var("param_msg"),
@ -3656,7 +3658,9 @@ fn generic_validator_type_test() {
) )
.delayed_if_then_else( .delayed_if_then_else(
Term::unit(), Term::unit(),
Term::Error, Term::Error.delayed_trace(
Term::var("param_msg"),
),
), ),
Term::Error Term::Error
.delayed_trace(Term::var("param_msg")), .delayed_trace(Term::var("param_msg")),