fixes a unit test

viperproject · Mar 24, 2024 · 461517a · 461517a
1 parent c7ae8bb
commit 461517a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/test/resources/regressions/features/ghost_pointer/ghost-pointer-receiver-fail01.gobra b/src/test/resources/regressions/features/ghost_pointer/ghost-pointer-receiver-fail01.gobra
@@ -16,8 +16,9 @@ func GhostFunc() {
     p.bar2() // bar2 is not defined on a ghost pointer
 }
 
-decreases
+// note that the type error refers to the receiver but is (for technical reasons) located at the beginning of the function declaration
 //:: ExpectedOutput(type_error)
+decreases
 func (r gpointer[Foo]) bar1() int { // ghostpointer is only allowed for ghost methods
     r.field = 0
     return 42