From 5228e18210fbf1f83ee762fe2ba4575dc673f291 Mon Sep 17 00:00:00 2001 From: Kiiyoko <73446312+Kiiyoko@users.noreply.github.com> Date: Thu, 12 Dec 2024 23:14:56 -0500 Subject: [PATCH] Update generic-constraints.md edited drawbacks --- 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 2d96a6f..0d1d821 100644 --- a/docs/generic-constraints.md +++ b/docs/generic-constraints.md @@ -54,7 +54,7 @@ local function getProperty>( object: T, key: K ) ... end local function callbackProperty( object: T, key: K, callback: (index) -> () ) ... end ``` ## Drawbacks -- I am not familiar with the internals of the typechecker but this would further complicate type inference. +- I am not personally familiar with the internals of the typechecker, but this has a chance to further complicate type inference. - Adding an extra use to `&` could make its usage more confusing to novices. ## Alternatives - Don't do this; this would make it impossible for functions like above to be able to be inferred correctly. Just let people explicitly type their variables instead of inferring types. This makes code more verbose and would likely not allow for full optimization.