ParadoxV5

I’ve identified the deviation. When I ran `bundle exec rake annotate`, the script fails at the line `bundle exec rbs annotate --no-system --no-gems --no-site --no-home -d /tmp/rdoc-3.2.2 core stdlib`: ```...

Checking the `bundle install` logs, I noticed that every fetch/install line is for older versions of dependent gems. What’s the dep update guideline for this project?

Obsolete, except maybe [#issuecomment-1683366042](#issuecomment-1683366042)

Can simply use `Proc` for lambdas; this new syntax mainly benefits untyped blocks > `untyped -> void` This suggestion is uncomfortably similar to `(untyped) -> void`. In fact, it conflicts...

> `Class[String]` cannot be equivalent to `singleton(String)`, because `singleton(String)` has singleton methods. You are correct, the `singleton(String)` syntax enables special handling of singleton methods on the `String` class. But also...

> If I may jump in of coarse you may > but i'd consider reserving that syntax to solve either module mixins, or delegation, both of which aren't yet solved...

Another use case: https://rubydoc.info/gems/ffi/1.16.3/FFI/StructByReference

Add a `?` prefix to indicate optional block ```rbs def foo: () ?{ (*untyped, **untyped) -> void } -> void ``` --- Possible alternative: ```rbs def foo: () ?{ (...)...

```rbs def foo: (&block_type blk) -> void ``` The `block_type` must be a `_ToProc` (Hah! #1223).

> ``def self.of: (E) -> instance # RBS::UnknownTypeName (it’s not inferred from `MyWrapper[E]`)`` How about letting class methods pick up generics?