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));
+});