make test case fail if counting fails

Author: andrew4328

SRC/typecheck-infer-expr.lsts

@@ -195,6 +195,7 @@ let std-infer-expr(tctx: Maybe<TypeContext>, term: AST, is-scoped: Bool, used: I
                (tctx, short-right) = std-infer-expr(tctx, short-right, false, Used, ta);
                let lt = denormalize-strong(typeof-term(short-left).slot(c"Type",1).l1);
                let rt = denormalize-strong(typeof-term(short-right).slot(c"Type",1).l1);
+               print("\{typeof-term(short-left)} <: \{typeof-term(short-right)}\n");
                if non-zero(lt) and non-zero(rt) {
                   if can-unify(rt, lt) {
                      (tctx, short-circuit) = std-infer-expr(tctx, t, false, Tail, ta);

tests/promises/meta/generic-retain-release.lsts

@@ -3,6 +3,7 @@ import lib/core/baremetal.lsts;
 import lib/core/one-owned-data.lsts;
 
 type List<x> implies MustRetain, MustRelease zero LEOF = LEOF | LCons { head: x, tail: OneOwnedData<List<x>>[] };
+let $"list::cons"(hd: x, tl: List<x>): List<x> = LCons(hd, close(tl));
 
 let .retain(x: xt): xt = (
    for case in $cases-of(x) {
@@ -47,8 +48,5 @@ let .release(x: xt): Nil = (
    };
 );
 
-let x = [] : List<U8>;
-x.retain;
-print(c"Retained\n");
-x.release;
-print(c"Released\n");
+[1];
+assert( safe-alloc-block-count == 0 );