Testing framework: `Rejected` return type

Motivation and Context

The type int was always assigned to failure returned type when doing Test.transfer_to_contract.

Description

Instead of assigning type int to it, we can assign an untyped Michelson type.

Component

• compiler
• website
• webide
• vscode-plugin
• debugger

Types of changes

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• Performance improvement (non-breaking change that improves performance)
• None (change with no changelog)

Changelog

Checklist:

• Changes follow the existing coding style (use dune @fmt to check).
• Tests for the changes have been added (for bug fixes / feature).
• Documentation has been updated.
• Changelog description has been added (if appropriate).
• Start titles under ## Changelog section with #### (if appropriate).
• There is no image or uploaded file in changelog
• Examples in changed behaviour have been added to the changelog (for breaking change / feature).

assigned to @er433

added 1 commit

• 6f3b049d - style: apply dune fmt

Compare with previous version

marked the checklist item Changes follow the existing coding style (use dune @fmt to check). as completed

marked the checklist item Tests for the changes have been added (for bug fixes / feature). as completed

marked the checklist item Start titles under ## Changelog section with #### (if appropriate). as completed

marked the checklist item There is no image or uploaded file in changelog as completed

marked this merge request as ready

mentioned in commit 5962b45d

added 2 commits

• 5962b45d - Merge branch 'er433/fix/test-framework-fail-type' into 'dev'
• 5712ee35 - [Bot] add changelog entry

Compare with previous version

A new deploy preview is available on Netlify at https://2609-a9b994fd--ligolang.netlify.app, you can view the logs at https://app.netlify.com/sites/ligolang/deploys/646b91452f6243130143f61c

approved this merge request

added 1 commit

• f5bc8c23 - refactor: remove unused storage_retreival_dummy_ty

Compare with previous version

resolved all threads

resolved all threads

resolved all threads

enabled automatic add to merge train when the pipeline for f4058273 succeeds

started a merge train

merged

mentioned in commit 4fb0b0b2

unassigned @er433