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
Steep raises an error with the following RBS and Ruby files.
test.rbs
classCdef f: (?untyped a, untyped b) -> voidend
test.rb
classCdeff(a=nil,b)endend
$ bundle exec steep --version1.7.1
$ bundle exec steep check
# Type checking files:...................................F.................................................test.rb:2:17: [error] The method parameter is incompatible with the declaration `(?untyped) -> void`│ Diagnostic ID: Ruby::MethodParameterMismatch│└ def f(a = nil, b) ~Detected 1 problem from 1 file
I expect that it does not raise any error, but Steep displays an error.
The error message says the type of method f is (?untyped) -> void. Probably Steep ignores the positional argument after an optional argument.
The text was updated successfully, but these errors were encountered:
tk0miya
added a commit
to tk0miya/steep
that referenced
this issue
Oct 8, 2024
Steep raises an error with the following RBS and Ruby files.
test.rbstest.rbI expect that it does not raise any error, but Steep displays an error.
The error message says the type of method
fis(?untyped) -> void. Probably Steep ignores the positional argument after an optional argument.The text was updated successfully, but these errors were encountered: