From b995140a1e35c71a131f3bfe1f131a26e3e4e975 Mon Sep 17 00:00:00 2001
From: Ardi <113623122+hardlyardi@users.noreply.github.com>
Date: Fri, 7 Mar 2025 07:50:30 -0600
Subject: [PATCH] remove redundant "union behavior"

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

diff --git a/docs/eager-inference-annotations-for-polymorphic-types.md b/docs/eager-inference-annotations-for-polymorphic-types.md
index f0468ae..7cb7680 100644
--- a/docs/eager-inference-annotations-for-polymorphic-types.md
+++ b/docs/eager-inference-annotations-for-polymorphic-types.md
@@ -42,10 +42,6 @@ test(1, "string") -- Type error: Expected `number`, got `string`
    - If a different type is encountered, a **type error** is raised.
    - `T` will not expand into a union.
 
-2. **Behaviour in Unions**  
-   - A function or type with `T!` cannot instantiate `T` with a union.
-   - If `T` is already a union, it must remain a union as new types cannot be added to it.
-
 ## Drawbacks  
 
 - Introduces a new syntax modifier (`T!`), which may lead to a symbol soup, but it doesn't seem too shabby next to `T?`.