chore: ensure type-checking call is executed

This commit guarantees that the type-checking call is performed as expected, preventing potential issues with type validation.

Author: Chris Guimaraes

clarity/src/vm/tests/assets.rs

@@ -42,11 +42,11 @@ const FIRST_CLASS_TOKENS: &str = "(define-fungible-token stackaroos)
          (define-public (mint-after (block-to-release uint))
            (if (>= block-height block-to-release)
                (faucet)
-               (err \"must be in the future\")))
+               (err u100)))
          (define-public (burn (amount uint) (p principal))
            (ft-burn? stackaroos amount p))
-         (begin (ft-mint? stackaroos u10000 'SZ2J6ZY48GV1EZ5V2V5RB9MP66SW86PYKKQ9H6DPR)
-                (ft-mint? stackaroos u200 'SM2J6ZY48GV1EZ5V2V5RB9MP66SW86PYKKQVX8X0G)
+         (begin (is-ok (ft-mint? stackaroos u10000 'SZ2J6ZY48GV1EZ5V2V5RB9MP66SW86PYKKQ9H6DPR))
+                (is-ok (ft-mint? stackaroos u200 'SM2J6ZY48GV1EZ5V2V5RB9MP66SW86PYKKQVX8X0G))
                 (ft-mint? stackaroos u4 .tokens))";
 
 const ASSET_NAMES: &str =
@@ -80,15 +80,15 @@ const ASSET_NAMES: &str =
            (nft-burn? names name p))
          (define-public (try-bad-transfers)
            (begin
-             (contract-call? .tokens my-token-transfer burn-address u50000)
-             (contract-call? .tokens my-token-transfer burn-address u1000)
-             (contract-call? .tokens my-token-transfer burn-address u1)
+             (is-ok (contract-call? .tokens my-token-transfer burn-address u50000))
+             (is-ok (contract-call? .tokens my-token-transfer burn-address u1000))
+             (is-ok (contract-call? .tokens my-token-transfer burn-address u1))
              (err u0)))
          (define-public (try-bad-transfers-but-ok)
            (begin
-             (contract-call? .tokens my-token-transfer burn-address u50000)
-             (contract-call? .tokens my-token-transfer burn-address u1000)
-             (contract-call? .tokens my-token-transfer burn-address u1)
+             (is-ok (contract-call? .tokens my-token-transfer burn-address u50000))
+             (is-ok (contract-call? .tokens my-token-transfer burn-address u1000))
+             (is-ok (contract-call? .tokens my-token-transfer burn-address u1))
              (ok 0)))
          (define-public (transfer (name int) (recipient principal))
            (let ((transfer-name-result (nft-transfer? names name tx-sender recipient))
@@ -97,7 +97,7 @@ const ASSET_NAMES: &str =
              (begin (unwrap! transfer-name-result transfer-name-result)
                     (unwrap! token-to-contract-result token-to-contract-result)
                     (unwrap! contract-to-burn-result contract-to-burn-result)
-                    (ok 0))))
+                    (ok true))))
          (define-public (register
                         (recipient-principal principal)
                         (name int)