Hunter Goldstein comments

Results 23 comments of


                                            Hunter Goldstein

new solver bug with negative number literals

Closing this out: I believe this one is _long_ fixed, but at the least the example given reports no errors.

In new solver, blocked type introduced unexpectedly in bitwise op heavy code

I just looked at the linked file and saw that there's exactly _one_ error using the latest version of Luau, which is that we do not allow returning an under-pack,...

[New Solver] Intersection types do not allow for optional fields

Can do, I'll try to find some time to do this soon.

Vector types are compatible with array types and empty table types in the new solver, despite being unrelated

Gave me a scare! I thought this was related to the work I was doing on bidirectional inference. Thank you for the report! I think this has been around for...

Solver fails in case of multiple numeric operations

A bit of a quibble: we _ought_ to be able to infer that `addMoney` has type `(amount: T) -> ()`, but internally we'll error as we'll end up with incompatible...

doc comments don't work on types in new solver

To checkraisefold's point: this is out of scope for `luau`. Closing.

error location reported incorrectly when comparing two things that cannot be compared

It looks like we double report this one right now: ``` Error: TypeError { "MainModule", Location { { line = 7, col = 16 }, { line = 7, col...

Type refining also restricts assignment

Thanks for the report! What version of `luau-lsp` are you using? This looks like a class of bug that has recently been fixed, and I'm unable to reproduce your error...

table.insert incorrect or missing type error message, fails to cast

Thanks for the report! The first couple issues should have fix(es) coming out soon. ```luau local t3: { { a: "a" } } = {} table.insert(t3, { a = "a"...

New type solver refuses to accept string literal despite being one of the requested types

Hello! Thank you for the report. Just wanted to check in to say I'm working on this class of issues. In this case we'd _like_ the function passed into `observer`...