motoko icon indicating copy to clipboard operation
motoko copied to clipboard
verified publisher icon dfinity

experiment: report sub type failure explanations in typing

Open crusso opened this issue 4 months ago • 1 comments

See whether is useful to explain subtype failure during type checking with the new explanations facility.

Needs tuning...

crusso avatar Aug 19 '25 12:08 crusso

Comparing from 24590e8b7dce807350ebb68ca0aa7923c193fd11 to 72b6c920e30877ad144ead7ee7723adcf5b99c4e: The produced WebAssembly code seems to be completely unchanged. In terms of gas, no changes are observed in 5 tests. In terms of size, no changes are observed in 5 tests.

github-actions[bot] avatar Aug 20 '25 08:08 github-actions[bot]