From 9c09789c26dd8142b8a29b42e250a685aa983e58 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 27 May 2024 11:22:37 +0200
Subject: runner: Support negative tests

---
 tests/src/string-chars.rs | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 tests/src/string-chars.rs

(limited to 'tests/src/string-chars.rs')

diff --git a/tests/src/string-chars.rs b/tests/src/string-chars.rs
new file mode 100644
index 00000000..5ba9a2d6
--- /dev/null
+++ b/tests/src/string-chars.rs
@@ -0,0 +1,6 @@
+//@ [lean] known-failure
+//@ [coq,fstar] skip
+fn main() {
+    let s = "hello";
+    let _chs: Vec<char> = s.chars().collect();
+}
-- 
cgit v1.2.3