Support annotations for methods in impl blocks
#129
coeff-aijAnnotations
4 errors
|
test
Process completed with exit code 101.
|
|
Unmatched diagnostics outside the testfile:
tests/ui/pass/annot_preds_struct.rs#L0
Error: verification error: Error { stdout: "(error \"line 3 column 26: invalid sorted variables: unknown sort 'A1_Tuple<Int>'\")\n(error \"line 82 column 131: unknown constant is_double (A1_Tuple<Int> A1_Tuple<Int>) \")\n(error \"line 85 column 460: unknown constant is_double (A1_Tuple<Int> A1_Tuple<Int>) \")\nsat\n", stderr: "" }
|
|
pass test got exit status: 1:
tests/ui/pass/annot_preds_struct.rs#L0
compilation failed, but was expected to succeed
|
|
pass test got exit status: 101:
tests/ui/pass/annot_preds_impl.rs#L0
the compiler panicked
|