From 16970abbfb34baaab2ed8f9e7d0d57227503f116 Mon Sep 17 00:00:00 2001 From: T 'Filtered' C Date: Sat, 17 Dec 2022 01:16:28 +0000 Subject: [PATCH] type pack drawback --- rfcs/constrained-generics.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/rfcs/constrained-generics.md b/rfcs/constrained-generics.md index 30a93a1e..db7493e0 100644 --- a/rfcs/constrained-generics.md +++ b/rfcs/constrained-generics.md @@ -35,6 +35,8 @@ SomethingWithAGenericTable(5) --not OK This adds unusual syntax, as well as adding to the complexity of the language. +This also doesn't address how this should be approached around type packs. + ## Alternatives Do nothing, and use the `assert(type(T) == T)` syntax, though this creates extra bytecode.