You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
--!strictlocalkey="Hello, %s!"localfmt=key:format("world")
localfmt=string.format(key, "world")
-- both: Type Error - Function string.format expects 1 argument but 0 are specified
The text was updated successfully, but these errors were encountered:
aatxe
changed the title
[NEW SOLVER] passing a string nonliteral to string.format in --!strict mode falsely throws a type error for "zero arguments provided"
Passing a locally-bound format string to string.format produces an incorrect error
Dec 19, 2024
The text was updated successfully, but these errors were encountered: