Skip to content

Commit 2407a22

Browse files
committed
Add regression test for crash 10.
1 parent f7b3c38 commit 2407a22

File tree

2 files changed

+7
-0
lines changed

2 files changed

+7
-0
lines changed
Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
crash_10: (foo: i32) = {
2+
assert( 10LL as i32 == foo$);
3+
}
Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
pure2-bugfix-for-bad-capture.cpp2...
2+
pure2-bugfix-for-bad-capture.cpp2(2,29): error: $ (capture) cannot appear here - it must appear in an anonymous expression function, a postcondition, or an interpolated string literal (at '$')
3+
pure2-bugfix-for-bad-capture.cpp2(2,23): error: expected ')' at the end of the contract (at '==')
4+

0 commit comments

Comments
 (0)