diff --git a/tests/ui/derive-invariant/helper-empty/expected b/tests/ui/derive-invariant/helper-empty/expected
index cc663578d9ba..d8590a9d22b8 100644
--- 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
index e31316ded8f7..e9ac7e3e1124 100644
--- 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
index 7d14cb1e753a..3f661bce9cbb 100644
--- 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)]
    |