From 86bee5cb84bc28a3c57e92099ff8e232ff618d4c Mon Sep 17 00:00:00 2001
From: Nico Lehmann <nico.lehmannm@gmail.com>
Date: Mon, 18 Dec 2023 20:26:23 -0300
Subject: [PATCH] Add missing test

---
 crates/flux-tests/tests/pos/surface/vec_get.rs | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 crates/flux-tests/tests/pos/surface/vec_get.rs

diff --git a/crates/flux-tests/tests/pos/surface/vec_get.rs b/crates/flux-tests/tests/pos/surface/vec_get.rs
new file mode 100644
index 0000000000..a7ef3beb25
--- /dev/null
+++ 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);
+}