[Bug] division should not be supported for scalar type
🐛 Bug Report
In tests/compiler/scalar/div.leo there is a division with two scalar operands,
with expectation: Pass,
but the AVM does not support division of scalars.
This test should be changed to expectation: Fail (and the compiler changel, as needed).
This is in the testnet3 branch, commit 977e3369e.
Good catch. This bug exists on the improved-flattening branch as well. I will be doing the change there since the type checker had to go through some changes and bug fixes, and it will be easier than merging a PR and then updating it to fit the changes.
This wasn't actually blocking flattening so I will fix this in another PR.
The scalar division test correctly checks for failure now so this issue can be closed.