[x] Allow expect as last (or only) expression in function body, when clauses and if branches. Such expressions unify with Void. Fundamentally, we merely desugar last expect into a sequence of expect ... + Void as follows:
[x] allow tests to return Void. Tests that return Void are treated the same as tests that return True. This changes works well in combination with the previous one, obviously. But it also work with arbitrary functions calls in tests that would return Void (assuming that those calls contain assertions doing validations as side-effects).
[x] Allow expect as last (or only) expression in function body, when clauses and if branches. Such expressions unify with
Void
. Fundamentally, we merely desugar lastexpect
into a sequence ofexpect ...
+Void
as follows:[x] allow tests to return
Void
. Tests that returnVoid
are treated the same as tests that returnTrue
. This changes works well in combination with the previous one, obviously. But it also work with arbitrary functions calls in tests that would returnVoid
(assuming that those calls contain assertions doing validations as side-effects).