Takeshi KOMIYA

Proposal: allow to specify Union type for the module-self

1

It would be very helpful to use Union type for the module-self. In my project, I have a `Commentable` concern module used across multiple ActiveRecord models. This Commentable module uses...

47 -> 22 Note: This contains https://github.com/soutaro/steep/pull/1286

135 -> 47 Note: `Hash#fetch` raises KeyError. So we need to merge this carefully. I'm okay to divide this PR to smaller ones.

Raise UnsupportedSyntax if a proc object is given as block-pass-argument

1

At present, users will see BlockTypeMismatch diagnostic when a proc object is passed as block-pass-argument. We'll usually see the diagnostic with `&method` idiom. ```ruby [1, 2, 3].map(&method(:puts)) ``` But there...

Pass `&method(:name)` to the block argument on method call is usually used, and well-known idiom in Ruby. Therefore it is valuable to support the idiom on type check. This gives...

Closes #1073

Closes #1172

When a file is removed, VSCode sends a `$/file/reset` request where the content field is nil. For example, the following request is sent from VSCode: ``` [Steep 1.7.1] [interaction:interaction] [frontend]...

I saw LSP workers crash on file removal. On removal of a source file, the interaction worker crashes as follows. ``` [Steep 1.7.1] [interaction:interaction] [frontend] Received message from master: $/file/reset()...

docs: Add document for type assertion and type application

1

These syntax were added in Steep-1.3. refs: https://github.com/soutaro/steep/wiki/Release-Note-1.3#add-type-assertion-and-type-application-syntax