ariel
Seems like this is specifically the empty type pack not matching against a generic type pack? what about with a function that does return something?
This looks like another flavor of issue with bidirectional typechecking. @hgoldstein can you take a look at this when you get the chance?
Thanks for the report, agreed the error message could definitely be better here, but an empty typepack is indeed _not_ at the type `boolean?` (you can observe the difference by...
The problem here is that intersections of the `function` type (or unions including it) with individual specific function types do not correctly simplify. So, `(() -> number) | nil` intersected...
This is the correct way to do it, not the other way, but it needs a rebase. The flag should not be a debug flag.
you should flag those tests to change to using `extern` when the flag is enabled
not if it's new, but if there were any existing tests, you'd flag them to reflect the change
This is a known issue for modern versions of CMake. The release this week will update our minimum spec to `CMake 3.10`, and you can use `-DCMAKE_POLICY_VERSION_MINIMUM=3.5` or a manual...
In order to be able to do anything with this report, we need at minimum the script producing this error.
This is probably generalization missing something.