rbs
rbs copied to clipboard
ruby
Type Signature for Ruby
Hello, When a method accepts arguments that expose MemoryView, we cannot represent that in current RBS (v3.8.1) and type check by Steep fails. We need a way to represent an...
It would be nice if it's possible to bound generics of `self`. Example usecase: ```rbs class Array[Elem] def sort: [Elem < Comparable] () -> ::Array[Elem] | [Elem < Comparable] ()...
It would be awesome if you could turn RBS test on and off for single unit tests. Given the following example: ```ruby class MyClass attr_reader :name #: Symbol # @rbs...
The `#ivar_name` attribute of each `RBS::Members::Attribute*` class can return one of 3 things: ```ruby # ivar_name will return `nil`, which indicates the default (@a) is inferred attr_reader a: Integer #...
the arg of inherited is a subclass of the current class, not (just) a ::Class. There's also a similar limitation in `Kernel#class` definition, where `def class: () -> Class` should...
This PR narrows the type of `caller_locations` if `start` parameter is not given. `caller_locations` can return `nil` only if it has a `start` parameter.
We have `to-backport:3.10` label in PRs. We will backport the PRs with the label. This issue is to keep track of PRs that is already backported to the 3.10 branch.
Since the renaming [any into untyped](https://github.com/ruby/rbs/pull/35) there is no good way semantically to separate your progress of gradual typing from the uncontrollable type. In Datadog we build some tools to...
