Updated UI tests to not have line numbers

adpaco-aws · Jul 22, 2024 · 11e5597 · 11e5597
1 parent 477d9bf
commit 11e5597
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/tests/ui/derive-invariant/helper-empty/expected b/tests/ui/derive-invariant/helper-empty/expected
@@ -1,6 +1,6 @@
 error: Cannot derive impl for `PositivePoint`
    |
-11 | #[derive(kani::Invariant)]
+| #[derive(kani::Invariant)]
    |          ^^^^^^^^^^^^^^^
    |
 note: safety constraint in field `x` could not be parsed: expected attribute arguments in parentheses: #[safety_constraint(...)]
diff --git a/tests/ui/derive-invariant/helper-no-expr/expected b/tests/ui/derive-invariant/helper-no-expr/expected
@@ -1,6 +1,6 @@
 error: Cannot derive impl for `PositivePoint`
    |
-11 | #[derive(kani::Invariant)]
+| #[derive(kani::Invariant)]
    |          ^^^^^^^^^^^^^^^
    |
 note: safety constraint in field `x` could not be parsed: unexpected end of input, expected an expression
diff --git a/tests/ui/derive-invariant/helper-wrong-expr/expected b/tests/ui/derive-invariant/helper-wrong-expr/expected
@@ -1,9 +1,9 @@
 error[E0308]: mismatched types
    |
-14 |     #[safety_constraint(x >= 0)]
+|     #[safety_constraint(x >= 0)]
    |                              ^ expected `&i32`, found integer
    |
 help: consider dereferencing the borrow
    |
-14 |     #[safety_constraint(*x >= 0)]
+|     #[safety_constraint(*x >= 0)]
    |