Arrow function annotated with `v128` that returns null crashes the compiler

[romdotdog]

Code

(): v128 => null
// this also works
(): dataref => null

Try it in the playground

Stack trace

▌ Whoops, the AssemblyScript compiler has crashed during compile :-(
▌ 
▌ Here is the stack trace hinting at the problem, perhaps it's useful?
▌ 
▌ AssertionError: assertion failed
▌     at assert (D:\assemblyscript\std\portable\index.js:200:11)
▌     at Module.flatten (D:\assemblyscript\src\module.ts:1454:7)
▌     at Compiler.compileFunction (D:\assemblyscript\src\compiler.ts:1571:16)
▌     at Compiler.compileFunctionExpression (D:\assemblyscript\src\compiler.ts:7572:25)
▌     at Compiler.compileExpression (D:\assemblyscript\src\compiler.ts:3502:21)
▌     at Compiler.compileExpressionStatement (D:\assemblyscript\src\compiler.ts:2521:17)
▌     at Compiler.compileStatement (D:\assemblyscript\src\compiler.ts:2213:21)
▌     at Compiler.compileTopLevelStatement (D:\assemblyscript\src\compiler.ts:2175:25)
▌     at Compiler.compileFile (D:\assemblyscript\src\compiler.ts:1111:12)
▌     at Compiler.compile (D:\assemblyscript\src\compiler.ts:486:14)
▌     at Object.compile (D:\assemblyscript\src\index.ts:280:32)
▌     at D:\assemblyscript\cli\asc.js:902:31
▌     at measure (D:\assemblyscript\cli\asc.js:1409:3)
▌     at Object.main (D:\assemblyscript\cli\asc.js:900:24)
▌     at runTest (D:\assemblyscript\tests\compiler.js:178:7)
▌ 
▌ If it refers to the dist files, try to 'npm install source-map-support' and
▌ run again, which should then show the actual code location in the sources.
▌ 
▌ If you see where the error is, feel free to send us a pull request. If not,
▌ please let us know: https://github.com/AssemblyScript/assemblyscript/issues
▌ 
▌ Thank you!

[dcodeIO]

There are two issues here: The first produces a diagnostic, but then hits an assertion, which is a bug and must be fixed by defusing the assertion. The second is a result of the experimental nature of Wasm GC, where dataref is non-nullable in Binaryen currently, but AS assumes nullable, with the latter currently scheduled to become the default.