Aurea
Aurea
`Spanned` no longer exists in the codebase. Errors (parse and type) are reported at the correct location thanks to how the new preparser works. There are two potential problems still:...
bors r+
bors r+
bors r+
@vakaras Could you have a look at the two failures here? I think they are the last ones before I can merge this and they are happening only in the...
bors r+
The failing implementation span is now added as a "note" to the error: ``` error: [Prusti: verification error] postcondition might not hold. --> example.rs:4:15 | 4 | #[ensures(result > 10)]...
@simn Any thoughts on this? What about: > a function which expects zero or more arguments of specific types that will return a value when called I think it's fine...
Is this not mostly covered by the blocks section? https://haxe.org/manual/expression-block.html But it could be at least mentioned that static initialisation works with *any* expression.
Yeah, there are still some defines in the compiler that are not declared in the JSON files (from which the tables are generated). Also applies to some static analyser defines....