From c9328c7f88e634127ca600595907815f7bc643ab Mon Sep 17 00:00:00 2001 From: Marcus Date: Fri, 7 Mar 2025 14:55:08 +0100 Subject: [PATCH] Update eager-inference-annotations-for-polymorphic-types.md --- .../eager-inference-annotations-for-polymorphic-types.md | 9 --------- 1 file changed, 9 deletions(-) diff --git a/docs/eager-inference-annotations-for-polymorphic-types.md b/docs/eager-inference-annotations-for-polymorphic-types.md index fc74aa7..1a0e4e9 100644 --- a/docs/eager-inference-annotations-for-polymorphic-types.md +++ b/docs/eager-inference-annotations-for-polymorphic-types.md @@ -33,15 +33,6 @@ end test(1, "string") -- Type error: Expected `number`, got `string` ``` - -### Type Checking Rules - -1. When a polymorphic type is marked as `T!`: - - The first instantiation of `T` determines its type. - - Any subsequent use of `T` in the same context must match this type exactly. - - If a different type is encountered, a **type error** is raised. - - `T` will not expand into a union. - ## Drawbacks - Introduces a new syntax modifier (`T!`), which may lead to a symbol soup, but it doesn't seem too shabby next to `T?`.