8000 [New Solver] Type inference for concatenation between string and string | number fails to complete, should infer string. · Issue #1671 · luau-lang/luau · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
8000

[New Solver] Type inference for concatenation between string and string | number fails to complete, should infer string. #1671

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
realkastien opened this issue Feb 18, 2025 · 1 comment · Fixed by #1754
Closed

[New Solver] Type inference for concatenation between string and string | number fails to complete, should infer string. #1671

realkastien opened this issue Feb 18, 2025 · 1 comment · Fixed by #1754
Assignees
@skanosue
Labels
bug Something isn't working new solver This issue is specific to the new solver.

Comments

@realkastien
Copy link
realkastien commented Feb 18, 2025 •
edited
Loading

When attempting to concatenate two values, one of type string and other of union type string | number, the solver fails to complete type inference instead of throwing an error or inferring string which is the ideal behavior.
@realkastien realkastien added the bug Something isn't working label Feb 18, 2025
@realkastien realkastien changed the title Type inference for concatrenation between string and string | number fails to complete, should infer string. Type inference for concatenation between string and string | number fails to complete, should infer string. Feb 18, 2025
@realkastien realkastien changed the title Type inference for concatenation between string and string | number fails to complete, should infer string. [New Solver] Type inference for concatenation between string and string | number fails to complete, should infer string. Feb 18, 2025
@aatxe aatxe added the new solver This issue is specific to the new solver. label Feb 19, 2025
@skanosue skanosue self-assigned this Mar 20, 2025
@skanosue
Copy link
Contributor

Thanks for reporting this issue! A fix has been merged in, and will be included in the 667 release.
97E1

@aatxe aatxe reopened this Mar 21, 2025
@ayoungbloodrbx ayoungbloodrbx mentioned this issue Mar 28, 2025
Merged
@menarulalam menarulalam mentioned this issue Apr 11, 2025
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@skanosue skanosue

Labels
bug Something isn't working new solver This issue is specific to the new solver.
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Sync to upstream/release/667 luau-lang/luau
3 participants
@aatxe @realkastien @skanosue
0