Encode unknown generic type parameters with (declare-forall-sort)
#615
coeff-aijAnnotations
11 errors
|
fmt
Process completed with exit code 1.
|
|
|
|
fail test got exit status: 101:
tests/ui/fail/annot_box_term.rs#L0
the compiler panicked
|
|
Unmatched diagnostics outside the testfile:
tests/ui/fail/adt_variant_without_params.rs#L0
Error: verification error: Error { stdout: "unsupported\n(error \"line 5 column 19: invalid datatype declaration, unknown sort 'a0'\")\n(error \"line 16 column 80: invalid function declaration reference, unknown function mut<X<Int>>\")\n(error \"line 17 column 124: unknown constant mut<X<Int>> (A0_X<Int> A0_X<Int>) \")\n(error \"line 18 column 70: invalid function declaration reference, unknown function X.None1<Int>\")\n(error \"line 19 column 41: invalid sorted variables: unknown sort 'a0'\")\n(error \"line 34 column 271: unknown constant X.None2<Int>\")\n(error \"line 37 column 271: unknown constant X.None2<Int>\")\nsat\n", stderr: "" }
|
|
|
|
Unmatched diagnostics outside the testfile:
tests/ui/fail/adt_poly_ref.rs#L0
Error: verification error: Error { stdout: "unsupported\n(error \"line 5 column 19: invalid datatype declaration, unknown sort 'a0'\")\n(error \"line 11 column 70: invalid function declaration reference, unknown function X.A<Int>\")\n(error \"line 12 column 41: invalid sorted variables: unknown sort 'a0'\")\n(error \"line 28 column 143: unknown constant X.A<Int> (Int) \")\n(error \"line 31 column 143: unknown constant X.A<Int> (Int) \")\nsat\n", stderr: "" }
|
|
|
|
Unmatched diagnostics outside the testfile:
tests/ui/fail/adt_poly_fn_mono.rs#L0
Error: verification error: Error { stdout: "unsupported\n(error \"line 5 column 19: invalid datatype declaration, unknown sort 'a0'\")\n(error \"line 11 column 70: invalid function declaration reference, unknown function X.A<Int>\")\n(error \"line 12 column 41: invalid sorted variables: unknown sort 'a0'\")\n(error \"line 77 column 136: unknown constant X.A<Int> (Int) \")\n(error \"line 80 column 166: unknown constant X.A<Int> (Int) \")\n(error \"line 83 column 176: unknown constant X.A<Int> (Int) \")\n(error \"line 92 column 204: unknown constant X.A<Int> (Int) \")\n(error \"line 116 column 228: unknown constant matcher_pred<A0_X<Int>> (Int A0_X<Int>) \")\n(error \"line 152 column 227: unknown constant matcher_pred<A0_X<Int>> (Int A0_X<Int>) \")\n(error \"line 155 column 221: unknown constant matcher_pred<A0_X<Int>> (Int A0_X<Int>) \")\n(error \"line 158 column 222: unknown constant matcher_pred<A0_X<Int>> (Int A0_X<Int>) \")\n(error \"line 161 column 232: unknown constant matcher_pred<A0_X<Int>> (Int A0_X<Int>) \")\n(error \"line 164 column 232: unknown constant matcher_pred<A0_X<Int>> (Int A0_X<Int>) \")\nsat\n", stderr: "" }
|
|
|
|
|
|
fail test got exit status: 101:
tests/ui/fail/adt_poly_fn_poly.rs#L0
the compiler panicked
|