Pre/post-conditions annotations using Rust expressions #298
coord-eAnnotations
7 errors
|
test
Process completed with exit code 101.
|
|
Unmatched diagnostics:
tests/ui/pass/tuple_annot.rs#L5
Error: expected expression, found `^`
|
|
pass test got exit status: 1:
tests/ui/pass/tuple_annot.rs#L0
compilation failed, but was expected to succeed
|
|
Unmatched diagnostics:
tests/ui/pass/annot_enum_simple.rs#L12
Error: binary operation `==` cannot be applied to type `X`
|
|
pass test got exit status: 1:
tests/ui/pass/annot_enum_simple.rs#L0
compilation failed, but was expected to succeed
|
|
Unmatched diagnostics:
tests/ui/fail/annot_enum_simple.rs#L12
Error: binary operation `==` cannot be applied to type `X`
|
|
|