From 25b6981e65f34cefbdf9dcbf615668c094f68f30 Mon Sep 17 00:00:00 2001
From: Nicolas DUBIEN <github@dubien.org>
Date: Sun, 1 Oct 2023 00:04:27 +0200
Subject: [PATCH] =?UTF-8?q?=E2=9C=85(ava)=20Confirm=20basic=20typings=20wo?=
 =?UTF-8?q?rk=20well=20(#4283)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .yarn/versions/fbd92e9d.yml     | 9 +++++++++
 packages/ava/test-types/main.ts | 6 +++++-
 2 files changed, 14 insertions(+), 1 deletion(-)
 create mode 100644 .yarn/versions/fbd92e9d.yml

diff --git a/.yarn/versions/fbd92e9d.yml b/.yarn/versions/fbd92e9d.yml
new file mode 100644
index 00000000..94d28549
--- /dev/null
+++ b/.yarn/versions/fbd92e9d.yml
@@ -0,0 +1,9 @@
+declined:
+  - "@fast-check/ava"
+
+undecided:
+  - "@fast-check/expect-type"
+  - "@fast-check/jest"
+  - "@fast-check/packaged"
+  - "@fast-check/poisoning"
+  - "@fast-check/worker"
diff --git a/packages/ava/test-types/main.ts b/packages/ava/test-types/main.ts
index e29ec964..59263c20 100644
--- a/packages/ava/test-types/main.ts
+++ b/packages/ava/test-types/main.ts
@@ -1 +1,5 @@
-import '@fast-check/ava';
+import { testProp, fc } from '@fast-check/ava';
+
+testProp('should detect the substring', [fc.string(), fc.string(), fc.string()], (t, a, b, c) => {
+  t.true((a + b + c).includes(b));
+});
-- 
2.51.2