From 1fee95b001a01ac88d5feaadf9a3865ac58857f9 Mon Sep 17 00:00:00 2001
From: Ardi <113623122+hardlyardi@users.noreply.github.com>
Date: Fri, 7 Mar 2025 09:03:11 -0600
Subject: [PATCH] add return statement

---
 docs/eager-inference-annotations-for-polymorphic-types.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/eager-inference-annotations-for-polymorphic-types.md b/docs/eager-inference-annotations-for-polymorphic-types.md
index 74455ed..a20fc60 100644
--- a/docs/eager-inference-annotations-for-polymorphic-types.md
+++ b/docs/eager-inference-annotations-for-polymorphic-types.md
@@ -48,6 +48,7 @@ A polymorphic function's arguments marked with type `T!` will not contribute to
 
 ```luau
 function test<T>(first: T, second: T, third: T!): T
+    return first
 end
 
 test(1, "string", true) -- TypeError: Type `boolean` could not be converted into `number | string`