add UnexpectedOutput to example with permission introspection inside …

…unfolding expression (connected to Carbon PR #457)
viperproject · Apr 23, 2023 · 66e3b25 · 66e3b25
1 parent 747ded6
commit 66e3b25
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/test/resources/all/issues/carbon/0213.vpr b/src/test/resources/all/issues/carbon/0213.vpr
@@ -11,5 +11,6 @@ method test(r:Ref)
   requires P(r)
   {
       assert perm(r.next) == none
+      //:: UnexpectedOutput(assert.failed:assertion.false, /carbon/issue/213/)
       assert (unfolding P(r) in perm(r.next) == write)
   }