luau icon indicating copy to clipboard operation
luau copied to clipboard

Type packs are not supported in declaration files

Open Ukendio opened this issue 9 months ago • 1 comments

Right now there's a gap in the syntax for declaration files with the lack of support for generic type packs. image

One way it can be resolved is using the preexisting construct of Parser::parseGenericTypeList to get a list of the type packs. However I was told that it may require some post processing of the returned lists as self doesn't need an annotation, but all other parameters needs to be annotated. Additionally I was told that TypeInfer.cpp and ConstraintGenerator.cpp may require changes to handle the varargs

Ukendio avatar May 05 '24 22:05 Ukendio

Split between whether this should be a bug report or a feature request but I will let moderators handle that1

Ukendio avatar May 05 '24 22:05 Ukendio