Add missing test

flux-rs · Dec 18, 2023 · 86bee5c · 86bee5c
1 parent 8d57ce4
commit 86bee5c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/crates/flux-tests/tests/pos/surface/vec_get.rs b/crates/flux-tests/tests/pos/surface/vec_get.rs
@@ -0,0 +1,3 @@
+pub fn test_get(vec: Vec<i32>) {
+    let _ = vec.get(0);
+}