From 8e20e26f6c3480303be527b3f5049b83ee5c7800 Mon Sep 17 00:00:00 2001
From: Kiiyoko <73446312+Kiiyoko@users.noreply.github.com>
Date: Fri, 13 Dec 2024 19:08:17 -0500
Subject: [PATCH] Update generic-constraints.md

added more for alternative 2
---
 docs/generic-constraints.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/generic-constraints.md b/docs/generic-constraints.md
index 4a98c07..0425ab3 100644
--- a/docs/generic-constraints.md
+++ b/docs/generic-constraints.md
@@ -104,4 +104,4 @@ In this example, `T` must either be a number or vector, and setting annotating v
 1. Don't do this; this would make it impossible for functions like above to be able to be automatically inferred correctly. Just let people explicitly annotate their variables instead of inferring types. This makes code more verbose.
 	> This would disallow for code that specifically makes use of generics to automatically output a response.
 2. Manually write verbose overloaded functions types.
-	> This is not ideal, and suffers the same pitfalls as alternative 1.
+	> This suffers the same pitfalls as alternative 1, and does not allow for code to be easily expandable. An example can be found as Attempt 3 of Equality Constraints.