about summary refs log tree commit diff
path: root/tvix/eval/src/tests/tvix_tests/eval-okay-assert-thunk-condition.nix
blob: 8934b3d8cf0276a76cf2fbddc30d8bb0cc772e1d (plain) (blame)
1
2
3
4
5
6
7
let
  condition = x: y: x < y;
in

# The function application here will become a thunk which verifies that
# assert forces the condition expression correctly.
assert condition 21 42; 21