RubyGems - steep-relaxed - Versions diffs - 1.9.3.3 - Mend

steep-relaxed 1.9.3.3

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (165) hide show

checksums.yaml +7 -0
data/.gitignore +13 -0
data/.gitmodules +0 -0
data/CHANGELOG.md +1032 -0
data/LICENSE +21 -0
data/README.md +260 -0
data/Rakefile +227 -0
data/STDGEM_DEPENDENCIES.txt +59 -0
data/Steepfile +68 -0
data/bin/console +14 -0
data/bin/generate-diagnostics-docs.rb +112 -0
data/bin/mem_graph.rb +67 -0
data/bin/mem_prof.rb +102 -0
data/bin/output_rebaseline.rb +34 -0
data/bin/output_test.rb +60 -0
data/bin/rbs +20 -0
data/bin/rbs-inline +19 -0
data/bin/setup +9 -0
data/bin/stackprof_test.rb +19 -0
data/bin/steep +19 -0
data/bin/steep-check.rb +251 -0
data/bin/steep-prof +16 -0
data/doc/narrowing.md +195 -0
data/doc/shape.md +194 -0
data/exe/steep +18 -0
data/guides/README.md +5 -0
data/guides/src/gem-rbs-collection/gem-rbs-collection.md +126 -0
data/guides/src/getting-started/getting-started.md +163 -0
data/guides/src/nil-optional/nil-optional.md +195 -0
data/lib/steep/annotation_parser.rb +199 -0
data/lib/steep/ast/annotation/collection.rb +172 -0
data/lib/steep/ast/annotation.rb +137 -0
data/lib/steep/ast/builtin.rb +104 -0
data/lib/steep/ast/ignore.rb +148 -0
data/lib/steep/ast/node/type_application.rb +88 -0
data/lib/steep/ast/node/type_assertion.rb +81 -0
data/lib/steep/ast/types/any.rb +35 -0
data/lib/steep/ast/types/boolean.rb +45 -0
data/lib/steep/ast/types/bot.rb +35 -0
data/lib/steep/ast/types/class.rb +43 -0
data/lib/steep/ast/types/factory.rb +557 -0
data/lib/steep/ast/types/helper.rb +40 -0
data/lib/steep/ast/types/instance.rb +42 -0
data/lib/steep/ast/types/intersection.rb +93 -0
data/lib/steep/ast/types/literal.rb +59 -0
data/lib/steep/ast/types/logic.rb +84 -0
data/lib/steep/ast/types/name.rb +128 -0
data/lib/steep/ast/types/nil.rb +41 -0
data/lib/steep/ast/types/proc.rb +117 -0
data/lib/steep/ast/types/record.rb +79 -0
data/lib/steep/ast/types/self.rb +43 -0
data/lib/steep/ast/types/shared_instance.rb +11 -0
data/lib/steep/ast/types/top.rb +35 -0
data/lib/steep/ast/types/tuple.rb +60 -0
data/lib/steep/ast/types/union.rb +97 -0
data/lib/steep/ast/types/var.rb +65 -0
data/lib/steep/ast/types/void.rb +35 -0
data/lib/steep/cli.rb +401 -0
data/lib/steep/diagnostic/deprecated/else_on_exhaustive_case.rb +20 -0
data/lib/steep/diagnostic/deprecated/unknown_constant_assigned.rb +28 -0
data/lib/steep/diagnostic/helper.rb +18 -0
data/lib/steep/diagnostic/lsp_formatter.rb +78 -0
data/lib/steep/diagnostic/result_printer2.rb +48 -0
data/lib/steep/diagnostic/ruby.rb +1221 -0
data/lib/steep/diagnostic/signature.rb +570 -0
data/lib/steep/drivers/annotations.rb +52 -0
data/lib/steep/drivers/check.rb +339 -0
data/lib/steep/drivers/checkfile.rb +210 -0
data/lib/steep/drivers/diagnostic_printer.rb +105 -0
data/lib/steep/drivers/init.rb +66 -0
data/lib/steep/drivers/langserver.rb +56 -0
data/lib/steep/drivers/print_project.rb +113 -0
data/lib/steep/drivers/stats.rb +203 -0
data/lib/steep/drivers/utils/driver_helper.rb +143 -0
data/lib/steep/drivers/utils/jobs_option.rb +26 -0
data/lib/steep/drivers/vendor.rb +27 -0
data/lib/steep/drivers/watch.rb +194 -0
data/lib/steep/drivers/worker.rb +58 -0
data/lib/steep/equatable.rb +23 -0
data/lib/steep/expectations.rb +228 -0
data/lib/steep/index/rbs_index.rb +350 -0
data/lib/steep/index/signature_symbol_provider.rb +185 -0
data/lib/steep/index/source_index.rb +167 -0
data/lib/steep/interface/block.rb +103 -0
data/lib/steep/interface/builder.rb +843 -0
data/lib/steep/interface/function.rb +1090 -0
data/lib/steep/interface/method_type.rb +330 -0
data/lib/steep/interface/shape.rb +239 -0
data/lib/steep/interface/substitution.rb +159 -0
data/lib/steep/interface/type_param.rb +115 -0
data/lib/steep/located_value.rb +20 -0
data/lib/steep/method_name.rb +42 -0
data/lib/steep/module_helper.rb +24 -0
data/lib/steep/node_helper.rb +273 -0
data/lib/steep/path_helper.rb +30 -0
data/lib/steep/project/dsl.rb +268 -0
data/lib/steep/project/group.rb +31 -0
data/lib/steep/project/options.rb +63 -0
data/lib/steep/project/pattern.rb +59 -0
data/lib/steep/project/target.rb +92 -0
data/lib/steep/project.rb +78 -0
data/lib/steep/rake_task.rb +132 -0
data/lib/steep/range_extension.rb +29 -0
data/lib/steep/server/base_worker.rb +97 -0
data/lib/steep/server/change_buffer.rb +73 -0
data/lib/steep/server/custom_methods.rb +77 -0
data/lib/steep/server/delay_queue.rb +45 -0
data/lib/steep/server/interaction_worker.rb +492 -0
data/lib/steep/server/lsp_formatter.rb +455 -0
data/lib/steep/server/master.rb +922 -0
data/lib/steep/server/target_group_files.rb +205 -0
data/lib/steep/server/type_check_controller.rb +366 -0
data/lib/steep/server/type_check_worker.rb +303 -0
data/lib/steep/server/work_done_progress.rb +64 -0
data/lib/steep/server/worker_process.rb +176 -0
data/lib/steep/services/completion_provider.rb +802 -0
data/lib/steep/services/content_change.rb +61 -0
data/lib/steep/services/file_loader.rb +74 -0
data/lib/steep/services/goto_service.rb +441 -0
data/lib/steep/services/hover_provider/rbs.rb +88 -0
data/lib/steep/services/hover_provider/ruby.rb +221 -0
data/lib/steep/services/hover_provider/singleton_methods.rb +20 -0
data/lib/steep/services/path_assignment.rb +46 -0
data/lib/steep/services/signature_help_provider.rb +202 -0
data/lib/steep/services/signature_service.rb +428 -0
data/lib/steep/services/stats_calculator.rb +68 -0
data/lib/steep/services/type_check_service.rb +394 -0
data/lib/steep/services/type_name_completion.rb +236 -0
data/lib/steep/signature/validator.rb +651 -0
data/lib/steep/source/ignore_ranges.rb +69 -0
data/lib/steep/source.rb +691 -0
data/lib/steep/subtyping/cache.rb +30 -0
data/lib/steep/subtyping/check.rb +1113 -0
data/lib/steep/subtyping/constraints.rb +341 -0
data/lib/steep/subtyping/relation.rb +101 -0
data/lib/steep/subtyping/result.rb +324 -0
data/lib/steep/subtyping/variable_variance.rb +89 -0
data/lib/steep/test.rb +9 -0
data/lib/steep/thread_waiter.rb +43 -0
data/lib/steep/type_construction.rb +5183 -0
data/lib/steep/type_inference/block_params.rb +416 -0
data/lib/steep/type_inference/case_when.rb +303 -0
data/lib/steep/type_inference/constant_env.rb +56 -0
data/lib/steep/type_inference/context.rb +195 -0
data/lib/steep/type_inference/logic_type_interpreter.rb +613 -0
data/lib/steep/type_inference/method_call.rb +193 -0
data/lib/steep/type_inference/method_params.rb +531 -0
data/lib/steep/type_inference/multiple_assignment.rb +194 -0
data/lib/steep/type_inference/send_args.rb +712 -0
data/lib/steep/type_inference/type_env.rb +341 -0
data/lib/steep/type_inference/type_env_builder.rb +138 -0
data/lib/steep/typing.rb +321 -0
data/lib/steep/version.rb +3 -0
data/lib/steep.rb +369 -0
data/manual/annotations.md +181 -0
data/manual/ignore.md +20 -0
data/manual/ruby-diagnostics.md +1879 -0
data/sample/Steepfile +22 -0
data/sample/lib/conference.rb +49 -0
data/sample/lib/length.rb +35 -0
data/sample/sig/conference.rbs +42 -0
data/sample/sig/generics.rbs +15 -0
data/sample/sig/length.rbs +34 -0
data/steep-relaxed.gemspec +56 -0
metadata +340 -0

data/CHANGELOG.md ADDED Viewed

@@ -0,0 +1,1032 @@
+# CHANGELOG
+## 1.9.3 (2024-12-26)
+### Miscellaneous
+* Steep 1.9.1 ([#1398](https://github.com/soutaro/steep/pull/1398))
+* Update rbs ([#1443](https://github.com/soutaro/steep/pull/1443))
+## 1.9.2 (2024-12-16)
+### Type checker core
+* Attach type assertion to keyword args ([#1410](https://github.com/soutaro/steep/pull/1410))
+### Miscellaneous
+* deps: Add uri gem to dependencies list ([#1402](https://github.com/soutaro/steep/pull/1402))
+## 1.9.1 (2024-12-09)
+### Type checker core
+* Make `implicitly-returns-nil` opt-in ([#1396](https://github.com/soutaro/steep/pull/1396))
+## 1.9.0 (2024-12-06)
+### Type checker core
+* Report diagnostic on unknown record key ([#1385](https://github.com/soutaro/steep/pull/1385))
+* Report annotation syntax error ([#1384](https://github.com/soutaro/steep/pull/1384))
+* emit UnreachableBranch to the "void" condition ([#1356](https://github.com/soutaro/steep/pull/1356))
+* Support &method(:name) call for block_pass ([#1276](https://github.com/soutaro/steep/pull/1276))
+* Emit SingletonTypeMismatch when class/module mismatch ([#1274](https://github.com/soutaro/steep/pull/1274))
+* refactor: Use Array#fetch instead of Array#[] to resolve type errors ([#1287](https://github.com/soutaro/steep/pull/1287))
+* refactor: Use Hash#fetch instead of Hash#[] to resolve type errors ([#1286](https://github.com/soutaro/steep/pull/1286))
+* Expand `array(splat(expr` node ([#1347](https://github.com/soutaro/steep/pull/1347))
+* Add `UnannotatedEmptyCollection` diagnostic ([#1338](https://github.com/soutaro/steep/pull/1338))
+* Update type checking strategy ([#1308](https://github.com/soutaro/steep/pull/1308))
+* Fix untyped hash typing ([#1299](https://github.com/soutaro/steep/pull/1299))
+* Support `implicitly-returns-nil` ([#1258](https://github.com/soutaro/steep/pull/1258))
+* Fix record shape ([#1265](https://github.com/soutaro/steep/pull/1265))
+* Remove unused rules ([#1238](https://github.com/soutaro/steep/pull/1238))
+### Commandline tool
+* Introduces a new `target.*` syntax for everything in the target ([#1387](https://github.com/soutaro/steep/pull/1387))
+* Symbolize target/group names ([#1364](https://github.com/soutaro/steep/pull/1364))
+* Update Steepfile template ([#1355](https://github.com/soutaro/steep/pull/1355))
+* Delete `target` from `--validate` option ([#1346](https://github.com/soutaro/steep/pull/1346))
+* Install rbs collection automatically ([#1345](https://github.com/soutaro/steep/pull/1345))
+### Language server
+* Add link to diagnostic manual ([#1388](https://github.com/soutaro/steep/pull/1388))
+* Stop accumulating diagnostics ([#1367](https://github.com/soutaro/steep/pull/1367))
+* Send server version to client ([#1341](https://github.com/soutaro/steep/pull/1341))
+* Add custom methods to trigger type check manually ([#1340](https://github.com/soutaro/steep/pull/1340))
+* Type check thread helpers ([#1335](https://github.com/soutaro/steep/pull/1335))
+* Use `URI::RFC2396_Parser` ([#1329](https://github.com/soutaro/steep/pull/1329))
+* Handle file deletion notification ([#1300](https://github.com/soutaro/steep/pull/1300))
+* Refactor communication between master and type check worker ([#1285](https://github.com/soutaro/steep/pull/1285))
+* Skip sending response to `$/steep/typecheck` request from `steep langserver` ([#1267](https://github.com/soutaro/steep/pull/1267))
+### Miscellaneous
+* Use rbs-3.7 ([#1383](https://github.com/soutaro/steep/pull/1383))
+* Move diagnostic docs ([#1370](https://github.com/soutaro/steep/pull/1370))
+* Add anchor ([#1359](https://github.com/soutaro/steep/pull/1359))
+* Update example to not use `^` as a hash function ([#1360](https://github.com/soutaro/steep/pull/1360))
+* doc: Add diagnostics for Ruby page ([#1249](https://github.com/soutaro/steep/pull/1249))
+* Update filename example in initial Steepfile ([#1230](https://github.com/soutaro/steep/pull/1230))
+* docs: Add document for steep:ignore comment ([#1353](https://github.com/soutaro/steep/pull/1353))
+* docs: Add document for type assertion and type application ([#1235](https://github.com/soutaro/steep/pull/1235))
+* Print test names in CI for investigation ([#1354](https://github.com/soutaro/steep/pull/1354))
+* Fix typo ([#1352](https://github.com/soutaro/steep/pull/1352))
+* Set up type checking tests ([#1339](https://github.com/soutaro/steep/pull/1339))
+* Fix typo ([#1248](https://github.com/soutaro/steep/pull/1248))
+## 1.8.3 (2024-10-29)
+### Type checker core
+* Fix untyped hash typing ([#1299](https://github.com/soutaro/steep/pull/1299), Backport in [#1301](https://github.com/soutaro/steep/pull/1301))
+### Language server
+* Handle file deletion notification ([#1300](https://github.com/soutaro/steep/pull/1300), Backport in [#1301](https://github.com/soutaro/steep/pull/1301))
+## 1.8.2 (2024-10-24)
+### Language server
+* Ignore `didChangeWatchedFiles notification` for open files ([#1290](https://github.com/soutaro/steep/pull/1290))
+## 1.8.1 (2024-10-08)
+### Language server
+* Skip sending response to `$/steep/typecheck` request from `steep langserver` ([#1268](https://github.com/soutaro/steep/pull/1268), backport [#1267](https://github.com/soutaro/steep/pull/1267))
+## 1.8.0 (2024-09-30)
+### Type checker core
+* RBS validation ([#1239](https://github.com/soutaro/steep/pull/1239))
+* Add special path for `Kernel#class` method ([#1229](https://github.com/soutaro/steep/pull/1229))
+## 1.8.0.pre.2 (2024-09-18)
+### Type checker core
+* Support non symbol record keys ([#1227](https://github.com/soutaro/steep/pull/1227))
+## 1.8.0.pre.1 (2024-09-17)
+### Type checker core
+* Fix some subtyping problems ([#1221](https://github.com/soutaro/steep/pull/1221))
+* Support optional keys in record types ([#1223](https://github.com/soutaro/steep/pull/1223))
+* Revert implicit generic upper bound ([#1220](https://github.com/soutaro/steep/pull/1220))
+* Improve generics ([#1216](https://github.com/soutaro/steep/pull/1216))
+* Delete meta data from `MethodType` and `Types::*` ([#1201](https://github.com/soutaro/steep/pull/1201))
+* Delete `ContextArray` ([#1199](https://github.com/soutaro/steep/pull/1199))
+* Fix shape calculation error ([#1197](https://github.com/soutaro/steep/pull/1197))
+* Skip `#:` syntax in `Data.define` and `Struct.new` ([#1196](https://github.com/soutaro/steep/pull/1196))
+* Support literals for Rational and Complex ([#1178](https://github.com/soutaro/steep/pull/1178))
+* Ignore type assertions on arguments/receiver on `def`/`defs` ([#1179](https://github.com/soutaro/steep/pull/1179))
+* Ignore `#:` annotation on `attr_*` calls ([#1176](https://github.com/soutaro/steep/pull/1176))
+### Commandline tool
+* Improve performance when there are many files ([#1184](https://github.com/soutaro/steep/pull/1184))
+* Fix type errors ([#1183](https://github.com/soutaro/steep/pull/1183))
+### Language server
+* Make type checking a LSP request, not a LSP notification ([#1218](https://github.com/soutaro/steep/pull/1218))
+* No `timeout: nil` ([#1217](https://github.com/soutaro/steep/pull/1217))
+* Print `loading project` message via LSP ([#1213](https://github.com/soutaro/steep/pull/1213))
+* Load files in main process ([#1206](https://github.com/soutaro/steep/pull/1206))
+### Miscellaneous
+* Drop Ruby 3.0 ([#1225](https://github.com/soutaro/steep/pull/1225))
+* Add `bin/steep-check` for profiling ([#1198](https://github.com/soutaro/steep/pull/1198))
+## 1.7.1 (2024-06-12)
+### Type checker core
+* Fix subtyping issues ([#1165](https://github.com/soutaro/steep/pull/1165))
+## 1.7.0 (2024-06-07)
+### Type checker core
+* Implement untyped function params ([#1101](https://github.com/soutaro/steep/pull/1101))
+* Fix method call type narrowing with`||` operator ([#1085](https://github.com/soutaro/steep/pull/1085))
+* Refactor `Interface::Builder` ([#1081](https://github.com/soutaro/steep/pull/1081))
+* Fix UnexpectedError with unnamed arguments  ([#1041](https://github.com/soutaro/steep/pull/1041))
+* Abort if subtyping fails to (possible) infinite loop ([#1055](https://github.com/soutaro/steep/pull/1055))
+* Ignore diagnostics by `steep:ignore` comment ([#1034](https://github.com/soutaro/steep/pull/1034))
+* Make defined? accept any type ([#1031](https://github.com/soutaro/steep/pull/1031))
+* Refactor case-when syntax ([#999](https://github.com/soutaro/steep/pull/999))
+* Update `Steep::Subtyping::Check#check` types ([#972](https://github.com/soutaro/steep/pull/972))
+### Commandline tool
+* Improve wildcard handling in pattern matching for directory paths ([#1121](https://github.com/soutaro/steep/pull/1121))
+* Fix issue with wildcard expansion in FileLoader ([#1113](https://github.com/soutaro/steep/pull/1113))
+* Avoid unnecessary calling `RBS::Location#to_s` on debug log ([#1092](https://github.com/soutaro/steep/pull/1092))
+* Better recovery from collection problems ([#987](https://github.com/soutaro/steep/pull/987))
+* Handle absolute path ([#975](https://github.com/soutaro/steep/pull/975))
+* Default to check the entire current directory when there is no `Steepfile` ([#968](https://github.com/soutaro/steep/pull/968))
+### Language server
+* Fix variable untyped hover issue in rescue clause ([#1147](https://github.com/soutaro/steep/pull/1147))
+* Handle `$/file/reset` request in interaction worker ([#1122](https://github.com/soutaro/steep/pull/1122))
+* Skip pending UI jobs ([#1035](https://github.com/soutaro/steep/pull/1035))
+* Fix no method error ([#1040](https://github.com/soutaro/steep/pull/1040))
+* Implement completion for comments ([#1039](https://github.com/soutaro/steep/pull/1039))
+* Fix signature help ([#1038](https://github.com/soutaro/steep/pull/1038))
+### Miscellaneous
+* Revise rake tasks ([#1156](https://github.com/soutaro/steep/pull/1156))
+* Update `steep.gemspec` ([#1155](https://github.com/soutaro/steep/pull/1155))
+* Add `Steep::RakeTask` ([#995](https://github.com/soutaro/steep/pull/995))
+* Stop to distribute sig dir ([#1144](https://github.com/soutaro/steep/pull/1144))
+* Update gem-rbs-collection.md ([#1127](https://github.com/soutaro/steep/pull/1127))
+* Add shape docs ([#1089](https://github.com/soutaro/steep/pull/1089))
+* Ignore smoke tests when packaging gem ([#962](https://github.com/soutaro/steep/pull/962))
+* Fix setup for Ruby 3.3 ([#1000](https://github.com/soutaro/steep/pull/1000))
+## master
+## 1.6.0 (2023-11-09)
+Nothing changed from 1.6.0.pre.4.
+## 1.6.0.pre.4 (2023-11-02)
+### Language server
+* Fix LSP text synchronization problems ([#954](https://github.com/soutaro/steep/pull/954))
+## 1.6.0.pre.3 (2023-11-01)
+### Type checker core
+* Object methods are moved to Kernel ([#952](https://github.com/soutaro/steep/pull/952))
+* Check if `rescue` body has `bot` type ([#953](https://github.com/soutaro/steep/pull/953))
+## 1.6.0.pre.2 (2023-10-31)
+### Type checker core
+* Assign types on method calls in mlhs node ([#951](https://github.com/soutaro/steep/pull/951))
+* Change severity of block diagnostics ([#950](https://github.com/soutaro/steep/pull/950))
+### Commandline tool
+* Match with `**` in pattern ([#949](https://github.com/soutaro/steep/pull/949))
+## 1.6.0.pre.1 (2023-10-27)
+### Type checker core
+* Test if a parameter is `_` ([#946](https://github.com/soutaro/steep/pull/946))
+* Let `[]=` call have correct type ([#945](https://github.com/soutaro/steep/pull/945))
+* Support type narrowing by `Module#<` ([#877](https://github.com/soutaro/steep/pull/877))
+* Fewer `UnresolvedOverloading` ([#941](https://github.com/soutaro/steep/pull/941))
+* Fix ArgumentTypeMismatch for PublishDiagnosticsParams ([#895](https://github.com/soutaro/steep/pull/895))
+* Add types for LSP::Constant::MessageType ([#894](https://github.com/soutaro/steep/pull/894))
+* `nil` is not a `NilClass` ([#920](https://github.com/soutaro/steep/pull/920))
+* Fix unexpected error when DifferentMethodParameterKind ([#917](https://github.com/soutaro/steep/pull/917))
+### Commandline tool
+* Fix space in file path crash ([#944](https://github.com/soutaro/steep/pull/944))
+* refactor: Rename driver objects to command ([#893](https://github.com/soutaro/steep/pull/893))
+* Run with `--jobs=2` automatically on CI ([#924](https://github.com/soutaro/steep/pull/924))
+* Fix type alias validation ([#922](https://github.com/soutaro/steep/pull/922))
+### Language server
+* Let goto definition work from `UnresolvedOverloading` error calls ([#943](https://github.com/soutaro/steep/pull/943))
+* Let label be whole method type in SignatureHelp ([#942](https://github.com/soutaro/steep/pull/942))
+* Set up file watcher ([#936](https://github.com/soutaro/steep/pull/936))
+* Reset file content on `didOpen` notification ([#935](https://github.com/soutaro/steep/pull/935))
+* Start type check on change ([#934](https://github.com/soutaro/steep/pull/934))
+* Better completion with module alias and `use` directives ([#923](https://github.com/soutaro/steep/pull/923))
+### Miscellaneous
+* Drop 2.7 support ([#928](https://github.com/soutaro/steep/pull/928))
+* Type check `subtyping/check.rb` ([#921](https://github.com/soutaro/steep/pull/921))
+* Type check constant under `self` ([#908](https://github.com/soutaro/steep/pull/908))
+## 1.5.3 (2023-08-10)
+### Type checker core
+* Fix type checking parenthesized conditional nodes ([#896](https://github.com/soutaro/steep/pull/896))
+## 1.5.2 (2023-07-27)
+### Type checker core
+* Avoid inifinite loop in `#shape` ([#884](https://github.com/soutaro/steep/pull/884))
+* Fix `nil?` typing with `untyped` receiver ([#882](https://github.com/soutaro/steep/pull/882))
+### Language server
+* Avoid breaking the original source code through `CompletionProvider` ([#883](https://github.com/soutaro/steep/pull/883))
+## 1.5.1 (2023-07-20)
+### Type checker core
+* Support unreachable branch detection with `elsif` ([#879](https://github.com/soutaro/steep/pull/879))
+* Give an optional type hint to lhs of `||` ([#874](https://github.com/soutaro/steep/pull/874))
+### Miscellaneous
+* Update steep ([#878](https://github.com/soutaro/steep/pull/878))
+* Update inline type comments ([#875](https://github.com/soutaro/steep/pull/875))
+## 1.5.0 (2023-07-13)
+### Type checker core
+* Fix for the case `untyped` is the proc type hint ([#868](https://github.com/soutaro/steep/pull/868))
+* Type case with type variable ([#869](https://github.com/soutaro/steep/pull/869))
+* Filx `nil?` unreachability detection ([#867](https://github.com/soutaro/steep/pull/867))
+### Commandline tool
+* Update `#configure_code_diagnostics` type ([#873](https://github.com/soutaro/steep/pull/873))
+* Update diagnostics templates ([#871](https://github.com/soutaro/steep/pull/871))
+* Removed "set" from "libray" in init.rb and README ([#870](https://github.com/soutaro/steep/pull/870))
+### Language server
+* Use RBS::Buffer method to calculate position ([#872](https://github.com/soutaro/steep/pull/872))
+## 1.5.0.pre.6 (2023-07-11)
+### Type checker core
+* Report RBS validation errors in Ruby code ([#859](https://github.com/soutaro/steep/pull/859))
+* Fix proc type assignment ([#858](https://github.com/soutaro/steep/pull/858))
+* Report `UnexpectedKeywordArgument` even if no keyword param is accepted ([#856](https://github.com/soutaro/steep/pull/856))
+* Unfold type alias on unwrap optional ([#855](https://github.com/soutaro/steep/pull/855))
+### Language server
+* Keyword completion in block call ([#865](https://github.com/soutaro/steep/pull/865))
+* Indicate the current or next argument on signature help ([#850](https://github.com/soutaro/steep/pull/850))
+* Support completion for keyword arguments ([#851](https://github.com/soutaro/steep/pull/851))
+* Let hover show the type of method call node ([#864](https://github.com/soutaro/steep/pull/864))
+* Fix UnknownNodeError in SignatureHelp ([#863](https://github.com/soutaro/steep/pull/863))
+* hover: Fix NoMethodError on generating hover for not supported files ([#853](https://github.com/soutaro/steep/pull/853))
+## 1.5.0.pre.5 (2023-07-07)
+### Type checker core
+* Unreachability improvements ([#845](https://github.com/soutaro/steep/pull/845))
+* Fix type inference problem ([#843](https://github.com/soutaro/steep/pull/843))
+## 1.5.0.pre.4 (2023-07-06)
+### Type checker core
+* Fix unreachability test ([#842](https://github.com/soutaro/steep/pull/842))
+* Make type of `case` node `untyped` rather than `nil` ([#841](https://github.com/soutaro/steep/pull/841))
+* Fix `#partition_union` ([#840](https://github.com/soutaro/steep/pull/840))
+* Fix type-case ([#839](https://github.com/soutaro/steep/pull/839))
+## 1.5.0.pre.3 (2023-07-05)
+### Type checker core
+* Resolve type names from TypeAssertion and TypeApplication ([#836](https://github.com/soutaro/steep/pull/836))
+### Commandline tool
+* Replace ElseOnExhaustiveCase by UnreachableBranch from steep/diagnostic/ruby.rb ([#833](https://github.com/soutaro/steep/pull/833))
+### Language server
+* Reuse the latest result to keep SignatureHelp opened while typing ([#835](https://github.com/soutaro/steep/pull/835))
+## 1.5.0.pre.2 (2023-07-05)
+### Language server
+* Fix signature help is not shown for the optional chaining (&.) ([#832](https://github.com/soutaro/steep/pull/832))
+## 1.5.0.pre.1 (2023-07-05)
+### Type checker core
+* Refactor occurrence typing ([#831](https://github.com/soutaro/steep/pull/831))
+* Better flow-sensitive typing ([#825](https://github.com/soutaro/steep/pull/825))
+* Fix interface type inference ([#816](https://github.com/soutaro/steep/pull/816))
+* Make `nth_ref` and `:back_ref` nodes optional ([#815](https://github.com/soutaro/steep/pull/815))
+* Add new diagnostic for setter methods ([#809](https://github.com/soutaro/steep/pull/809))
+* Better hint type handling given to lambda ([#807](https://github.com/soutaro/steep/pull/807))
+* Fix type assertion parsing error ([#805](https://github.com/soutaro/steep/pull/805))
+* Distribute `untyped` to block params ([#798](https://github.com/soutaro/steep/pull/798))
+* Should escape underscore for method name ([#770](https://github.com/soutaro/steep/pull/770))
+* Give a special typing rule to `#lambda` calls ([#811](https://github.com/soutaro/steep/pull/811))
+* Support early return code using "and return" ([#828](https://github.com/soutaro/steep/pull/828))
+* Validate type applications in ancestors ([#810](https://github.com/soutaro/steep/pull/810))
+* Convert block-pass-arguments with `#to_proc` ([#806](https://github.com/soutaro/steep/pull/806))
+### Commandline tool
+* Ensure at least one type check worker runs ([#814](https://github.com/soutaro/steep/pull/814))
+* Improve worker process handling ([#801](https://github.com/soutaro/steep/pull/801))
+* Add `Steep::Diagnostic::Ruby.silent` template to suppress all warnings ([#800](https://github.com/soutaro/steep/pull/800))
+* Suppress `UnsupportedSyntax` warnings by default ([#799](https://github.com/soutaro/steep/pull/799))
+* Infer method return types using hint ([#789](https://github.com/soutaro/steep/pull/789))
+* Handling splat nodes in `super` ([#788](https://github.com/soutaro/steep/pull/788))
+* Add handling splat node in tuple type checking ([#786](https://github.com/soutaro/steep/pull/786))
+* Let `return` have multiple values ([#785](https://github.com/soutaro/steep/pull/785))
+* Remove trailing extra space from Steepfile generated by steep init ([#774](https://github.com/soutaro/steep/pull/774))
+### Language server
+* Completion in annotations ([#818](https://github.com/soutaro/steep/pull/818))
+* Implement *go to type definition* ([#784](https://github.com/soutaro/steep/pull/784))
+* completion: Support completion for optional chaining (&.) ([#827](https://github.com/soutaro/steep/pull/827))
+* signature helps are not shown if the target code has comments ([#829](https://github.com/soutaro/steep/pull/829))
+### Miscellaneous
+* Typecheck sources ([#820](https://github.com/soutaro/steep/pull/820))
+* Relax concurrent-ruby requirement ([#812](https://github.com/soutaro/steep/pull/812))
+* Cast from union for faster type checking ([#830](https://github.com/soutaro/steep/pull/830))
+## 1.4.0 (2023-04-25)
+### Type checker core
+* Return immediately if blocks are incompatible ([#765](https://github.com/soutaro/steep/pull/765))
+* Fix location of no method error ([#763](https://github.com/soutaro/steep/pull/763))
+* Support `gvasgn` in assignment variants ([#762](https://github.com/soutaro/steep/pull/762))
+* Set up break contexts correctly for untyped blocks ([#752](https://github.com/soutaro/steep/pull/752))
+* Fix flow sensitive on `case` without condition ([#751](https://github.com/soutaro/steep/pull/751))
+* Support `...` syntax ([#750](https://github.com/soutaro/steep/pull/750))
+* Fix constant declaration type checking ([#738](https://github.com/soutaro/steep/pull/738))
+* Fix errors caused by non-ascii variable names ([#703](https://github.com/soutaro/steep/pull/703))
+* Update RBS to 3.0 ([#716](https://github.com/soutaro/steep/pull/716), [#754](https://github.com/soutaro/steep/pull/754))
+### Language server
+* Implement signature help, better completion and hover ([#759](https://github.com/soutaro/steep/pull/759), [#761](https://github.com/soutaro/steep/pull/761), [#766](https://github.com/soutaro/steep/pull/766))
+### Miscellaneous
+* Remove pathname from runtime_dependency ([#739](https://github.com/soutaro/steep/pull/739))
+* `parallel` out, `concurrent-ruby` in ([#760](https://github.com/soutaro/steep/pull/760))
+## 1.3.2 (2023-03-17)
+### Miscellaneous
+* Remove pathname from runtime_dependency ([#740](https://github.com/soutaro/steep/pull/740))
+## 1.3.1 (2023-03-08)
+### Miscellaneous
+* Require rbs-2.8.x ([#732](https://github.com/soutaro/steep/pull/732))
+## 1.3.0 (2022-11-25)
+### Type checker core
+* Type check types ([#676](https://github.com/soutaro/steep/pull/676))
+## 1.3.0.pre.2 (2022-11-23)
+### Type checker core
+* Add missing `#level` method ([\#671](https://github.com/soutaro/steep/pull/671))
+* Cache `constant_resolver` among files in a target([\#673](https://github.com/soutaro/steep/pull/673))
+* Early return from type checking overloads ([\#674](https://github.com/soutaro/steep/pull/674))
+### Commandline tool
+* Spawn worker processes if `--steep-command` is specified ([\#672](https://github.com/soutaro/steep/pull/672))
+## 1.3.0.pre.1 (2022-11-22)
+### Type checker core
+* Add type assertion syntax ([#665](https://github.com/soutaro/steep/pull/665))
+* Add type application syntax ([#670](https://github.com/soutaro/steep/pull/670))
+### Commandline tool
+* Fork when available for quicker startup ([#664](https://github.com/soutaro/steep/pull/664))
+### Miscellaneous
+* Fixes for some RBS errors within steep gem ([#668](https://github.com/soutaro/steep/pull/668))
+* Upgrade to RBS 2.8 (pre) ([#669](https://github.com/soutaro/steep/pull/669))
+## 1.2.1 (2022-10-22)
+### Type checker core
+* Fix type narrowing on case-when ([#662](https://github.com/soutaro/steep/pull/662))
+## 1.2.0 (2022-10-08)
+### Commandline tool
+* Refactor `--jobs` and `--steep-command` option handling ([#654](https://github.com/soutaro/steep/pull/654))
+### Miscellaneous
+* Delete debug prints ([#653](https://github.com/soutaro/steep/pull/653))
+* Update RBS to 2.7.0 ([#655](https://github.com/soutaro/steep/pull/655))
+## 1.2.0.pre.1 (2022-10-06)
+### Type checker core
+* Support type checking block/proc self type binding ([#637](https://github.com/soutaro/steep/pull/637))
+* Type check multiple assignment on block parameters ([#641](https://github.com/soutaro/steep/pull/641), [#643](https://github.com/soutaro/steep/pull/643))
+* Make more multiple assignments type check ([#630](https://github.com/soutaro/steep/pull/630))
+* Refactor *shape* calculation ([#635](https://github.com/soutaro/steep/pull/635), [#649](https://github.com/soutaro/steep/pull/649))
+* Report type errors if argument mismatch on yield ([#640](https://github.com/soutaro/steep/pull/640))
+* Relax caching requirements to cache more results ([#651](https://github.com/soutaro/steep/pull/651))
+### Commandline tool
+* Add `steep checkfile` command ([#650](https://github.com/soutaro/steep/pull/650))
+### Miscellaneous
+* Add docs for sublime text integration ([#633](https://github.com/soutaro/steep/pull/633))
+## 1.1.1 (2022-07-31)
+### Type checker core
+* Ignore special local variables -- `_`, `__any__` and `__skip__` ([#617](https://github.com/soutaro/steep/pull/617), [#627](https://github.com/soutaro/steep/pull/627))
+* Fix type narrowing on assignments ([#622](https://github.com/soutaro/steep/pull/622))
+## 1.1.0 (2022-07-27)
+### Type checker core
+* Fix `#each_child_node` ([#612](https://github.com/soutaro/steep/pull/612))
+## 1.1.0.pre.1 (2022-07-26)
+### Type checker core
+* Type refinement with method calls ([#590](https://github.com/soutaro/steep/issues/590))
+* Better multiple assignment type checking ([\#605](https://github.com/soutaro/steep/pull/605))
+* Fix generics issues around proc types ([\#609](https://github.com/soutaro/steep/pull/609), [\#611](https://github.com/soutaro/steep/pull/611))
+* Fix type application validation ([#607](https://github.com/soutaro/steep/pull/607); backport from 1.0.2)
+* Add class variable validation ([\#593](https://github.com/soutaro/steep/pull/593))
+* Fix type application validation ([\#607](https://github.com/soutaro/steep/pull/607))
+### Commandline tool
+* Appends "done!" to the watch output when the type check is complete ([\#596](https://github.com/soutaro/steep/pull/596))
+### Language server
+* Fix hover on multiple assignment ([\#606](https://github.com/soutaro/steep/pull/606))
+## 1.0.2 (2022-07-19)
+This is another patch release for Steep 1.0.
+### Type checker core
+* Fix type application validation ([#607](https://github.com/soutaro/steep/pull/607))
+## 1.0.1 (2022-06-16)
+This is the first patch release for Steep 1.0.
+However, this release includes one non-trivial type system update, [\#570](https://github.com/soutaro/steep/pull/570), which adds a special typing rule for `Hash#compact` like `Array#compact`.
+The change will make type checking more permissive and precise, so no new error won't be reported with the fix.
+### Type checker core
+* Support shorthand hash for Ruby 3.1 ([\#567](https://github.com/soutaro/steep/pull/567))
+* Fix super and zsuper with block ([\#568](https://github.com/soutaro/steep/pull/568))
+* Apply logic-type evaluation only if the node is `:send` ([\#569](https://github.com/soutaro/steep/pull/569))
+* Add support for `Hash#compact` ([\#570](https://github.com/soutaro/steep/pull/570))
+* Use given `const_env` when making a new `ModuleContext` ([\#575](https://github.com/soutaro/steep/pull/575))
+* Graceful, hopefully, error handling with undefined outer module ([\#576](https://github.com/soutaro/steep/pull/576))
+* Type check anonymous block forwarding ([\#577](https://github.com/soutaro/steep/pull/577))
+* Incompatible default value is a type error ([\#578](https://github.com/soutaro/steep/pull/578))
+* Load `ChildrenLevel` helper in `AST::Types::Proc` ([\#584](https://github.com/soutaro/steep/pull/584))
+* Type check `gvar` and `gvasgn` in methods([\#579](https://github.com/soutaro/steep/pull/579))
+* Avoid `UnexpectedError` when assigning untyped singleton class ([\#586](https://github.com/soutaro/steep/pull/586))
+### Commandline tool
+* Improve Windows support ([\#561](https://github.com/soutaro/steep/pull/561), [\#573](https://github.com/soutaro/steep/pull/573))
+* Test if `.ruby-version` exists before `rvm do` in binstub ([\#558](https://github.com/soutaro/steep/pull/558))
+* Fix typo ([\#564](https://github.com/soutaro/steep/pull/564))
+* Ignore `untitled:` URIs in LSP ([\#580](https://github.com/soutaro/steep/pull/580))
+### Miscellaneous
+* Fix test name ([\#565](https://github.com/soutaro/steep/pull/565), [\#566](https://github.com/soutaro/steep/pull/566), [\#585](https://github.com/soutaro/steep/pull/585))
+* Remove some unused code except tests ([\#587](https://github.com/soutaro/steep/pull/587))
+## 1.0.0 (2022-05-20)
+* Add special typing rule for `Array#compact` ([\#555](https://github.com/soutaro/steep/pull/555))
+* Add custom method type of `#fetch` on tuples and records ([\#554](https://github.com/soutaro/steep/pull/554))
+* Better `masgn` ([\#553](https://github.com/soutaro/steep/pull/553))
+* Fix method parameter type checking ([\#552](https://github.com/soutaro/steep/pull/552))
+## 0.52.2 (2022-05-02)
+* Handle class declaration with non-const super class ([\#546](https://github.com/soutaro/steep/pull/546))
+* Remove `#to_a` error message ([\#545](https://github.com/soutaro/steep/pull/545))
+* Add `#filter_map` shim ([\#544](https://github.com/soutaro/steep/pull/544))
+## 0.52.1 (2022-04-25)
+* Better union type inference (it type checks `Array#filter_map` now!) ([\#531](https://github.com/soutaro/steep/pull/531))
+* Improve method call hover message ([\#537](https://github.com/soutaro/steep/pull/537), [\#538](https://github.com/soutaro/steep/pull/538))
+* Make `NilClass#!` a special method to improve flow-sensitive typing ([\#539](https://github.com/soutaro/steep/pull/539))
+* Fix `steep binstub` ([\#540](https://github.com/soutaro/steep/pull/540), [\#541](https://github.com/soutaro/steep/pull/541))
+## 0.52.0 (2022-04-05)
+* Add `steep binstub` command ([\#527](https://github.com/soutaro/steep/pull/527))
+* Let hover and completion work in heredoc ([\#528](https://github.com/soutaro/steep/pull/528))
+* Better constant typing ([\#529](https://github.com/soutaro/steep/pull/529))
+## 0.51.0 (2022-04-01)
+* Completion for constant ([\#524](https://github.com/soutaro/steep/pull/524))
+* Better hover/completion message ([\#525](https://github.com/soutaro/steep/pull/525))
+* Show available commands when using `--help` ([\#523](https://github.com/soutaro/steep/pull/523))
+## 0.50.0 (2022-03-22)
+* CLI option for override steep command at spawn worker ([\#511](https://github.com/soutaro/steep/pull/511))
+* LSP related improvements for Sublime LSP ([\#513](https://github.com/soutaro/steep/pull/513))
+* Support Windows environment ([\#514](https://github.com/soutaro/steep/pull/514))
+* Let `&:foo` proc work with methods with optional parameters ([\#516](https://github.com/soutaro/steep/pull/516))
+* Fix unexpected error when or-asgn/and-asgn ([\#517](https://github.com/soutaro/steep/pull/517))
+* Fix goto-definition from method call inside block ([\#518](https://github.com/soutaro/steep/pull/518))
+* Better splat in array typing ([\#519](https://github.com/soutaro/steep/pull/519))
+## 0.49.1 (2022-03-11)
+* Fix lambda typing ([\#506](https://github.com/soutaro/steep/pull/506))
+* Validate type descendants ([\#507](https://github.com/soutaro/steep/pull/507))
+* Fix print error with absolute path ([\#508](https://github.com/soutaro/steep/pull/508))
+* Skip non-target ruby code on `steep stats` ([\#509](https://github.com/soutaro/steep/pull/509))
+## 0.49.0 (2022-03-08)
+* Better typing for `#flat_map` ([\#504](https://github.com/soutaro/steep/pull/504))
+* Support lambdas (`->`) with block ([\#503](https://github.com/soutaro/steep/pull/503))
+* Let proc type be `::Proc` class instance ([\#502](https://github.com/soutaro/steep/pull/502))
+* Disable contextual typing on `bool` type ([\#501](https://github.com/soutaro/steep/pull/501))
+* Type check `return` without value ([\#500](https://github.com/soutaro/steep/pull/500))
+## 0.48.0 (2022-03-07)
+Steep supports all of the new features of RBS 2. 🎉
+It now requires RBS >= 2.2 and support all of the features.
+* Update RBS ([\#495](https://github.com/soutaro/steep/pull/495))
+* Support generic type aliases ([\#496](https://github.com/soutaro/steep/pull/496))
+* Support bounded generics ([\#499](https://github.com/soutaro/steep/pull/499))
+## 0.47.1 (2022-02-17)
+This update lets Steep run with Active Support 7.
+* Fix ActiveSupport requirement in `lib/steep.rb` ([#484](https://github.com/soutaro/steep/pull/484))
+## 0.47.0 (2021-11-30)
+This update contains update for RBS 1.7.
+* RBS 1.7 ([#455](https://github.com/soutaro/steep/pull/455))
+* Bug fixes related to `SendArgs` ([#444](https://github.com/soutaro/steep/pull/444), [#449](https://github.com/soutaro/steep/pull/449), [#451](https://github.com/soutaro/steep/pull/451))
+* LSP completion item formatting improvement ([#442](https://github.com/soutaro/steep/pull/442))
+## 0.46.0 (2021-08-30)
+This release updates Steepfile DSL syntax, introducing `stdlib_path` and `configure_code_diagnostics` syntax (methods).
+* `stdlib_path` allows configuring core/stdlib RBS file locations.
+* `configure_code_diagnostics` allows configuring _severity_ of each type errors.
+See the PRs for the explanation of these methods.
+You can try `steep init` to generate updated `Steepfile` template.
+* Flexible diagnostics configuration ([\#422](https://github.com/soutaro/steep/pull/422), [\#423](https://github.com/soutaro/steep/pull/423))
+* Revise Steepfile _path_ DSL ([\#421](https://github.com/soutaro/steep/pull/421))
+* Avoid to stop process by invalid jobs_count ([\#419](https://github.com/soutaro/steep/pull/419))
+* Fix `Steep::Typing::UnknownNodeError` when hover method with numblock ([\#415](https://github.com/soutaro/steep/pull/415))
+## 0.45.0 (2021-08-22)
+* Fix error reporting on `RBS::MixinClassError` ([\#411](https://github.com/soutaro/steep/pull/411))
+* Compact error reporting for method body type mismatch ([\#414](https://github.com/soutaro/steep/pull/414))
+* Fix NoMethodError with csend/numblock ([\#412](https://github.com/soutaro/steep/pull/412))
+* LSP completion for RBS files ([\#404](https://github.com/soutaro/steep/pull/404))
+* Allow break without value from bot methods ([\#398](https://github.com/soutaro/steep/pull/398))
+* Type check on lvar assignments ([\#390](https://github.com/soutaro/steep/pull/390))
+* Assign different error code to break without value ([\#387](https://github.com/soutaro/steep/pull/387))
+* Support Ruby3 Keyword Arguments ([\#386](https://github.com/soutaro/steep/pull/386))
+* LSP hover for RBS files ([\#385](https://github.com/soutaro/steep/pull/385), [\#397](https://github.com/soutaro/steep/pull/397))
+* Fix FileLoader to skip files not matching to the given pattern ([\#382](https://github.com/soutaro/steep/pull/382))
+* Ruby3 support for numbered block parameters and end-less def ([\#381](https://github.com/soutaro/steep/pull/381))
+## 0.44.1 (2021-04-23)
+* Disable goto declaration and goto type declaration (because they are not implemented) ([#377](https://github.com/soutaro/steep/pull/377))
+* Fix goto from block calls ([#378](https://github.com/soutaro/steep/pull/378))
+## 0.44.0 (2021-04-22)
+* Implement LSP go to definition/implementation ([#371](https://github.com/soutaro/steep/pull/371), [#375](https://github.com/soutaro/steep/pull/375))
+* Fix typing on passing optional block ([#373](https://github.com/soutaro/steep/pull/373))
+* Do not crash when completion request `context` is missing ([#370](https://github.com/soutaro/steep/pull/370))
+* Update RBS ([#376](https://github.com/soutaro/steep/pull/376))
+## 0.43.1 (2021-04-01)
+* Fix LSP `textDocument/didSave` notification handling ([#368](https://github.com/soutaro/steep/issues/368))
+## 0.43.0 (2021-03-30)
+* LSP responsiveness improvements ([\#352](https://github.com/soutaro/steep/issues/352))
+* `@implements` annotation in blocks ([#338](https://github.com/soutaro/steep/issues/338))
+* Better `steep stats` table formatting ([\#300](https://github.com/soutaro/steep/issues/300))
+* Fix retry type checking ([\#293](https://github.com/soutaro/steep/issues/293))
+* Better tuple type checking ([\#328](https://github.com/soutaro/steep/issues/328))
+* Fix unexpected `add_call` error ([\#358](https://github.com/soutaro/steep/pull/358))
+* Ignore passing nil as a block `&nil` ([\#356](https://github.com/soutaro/steep/pull/356))
+* Better type checking for non-trivial block parameters ([\#354](https://github.com/soutaro/steep/pull/354))
+* Avoid unexpected error on splat assignments ([\#330](https://github.com/soutaro/steep/pull/330))
+* Fix constraint solver ([\#343](https://github.com/soutaro/steep/pull/343))
+* Ruby 2.7 compatible private method call typing ([\#344](https://github.com/soutaro/steep/pull/344))
+## 0.42.0 (2021-03-08)
+* Type checking performance improvement ([\#309](https://github.com/soutaro/steep/pull/309), [\#311](https://github.com/soutaro/steep/pull/311), [\#312](https://github.com/soutaro/steep/pull/312), [\#313](https://github.com/soutaro/steep/pull/313), [\#314](https://github.com/soutaro/steep/pull/314), [\#315](https://github.com/soutaro/steep/pull/315), [\#316](https://github.com/soutaro/steep/pull/316), [\#320](https://github.com/soutaro/steep/pull/320), [\#322](https://github.com/soutaro/steep/pull/322))
+* Let `watch` command support files ([\#323](https://github.com/soutaro/steep/pull/323))
+* Validate _module-self-type_ constraints ([\#308](https://github.com/soutaro/steep/pull/308))
+* Add `-j` option to specify number of worker processes ([\#318](https://github.com/soutaro/steep/pull/318), [\#325](https://github.com/soutaro/steep/pull/325))
+* Fix `code` of RBS diagnostics ([\#306](https://github.com/soutaro/steep/pull/306))
+* Skip printing source code from out of date _expectations_ file ([\#305](https://github.com/soutaro/steep/pull/305))
+## 0.41.0 (2021-02-07)
+* Add `--with-expectations` and `--save-expectations` option ([#303](https://github.com/soutaro/steep/pull/303))
+## 0.40.0 (2021-01-31)
+* Report progress with dots ([#287](https://github.com/soutaro/steep/pull/287))
+* Diagnostics message improvements ([#297](https://github.com/soutaro/steep/pull/297), [#301](https://github.com/soutaro/steep/pull/301))
+* Fix error on implicit `to_proc` syntax when `untyped` is yielded ([#291](https://github.com/soutaro/steep/pull/291))
+## 0.39.0 (2020-12-25)
+* Update RBS to 1.0.0 ([#282](https://github.com/soutaro/steep/pull/282))
+* Better `&&` and `||` typing ([#276](https://github.com/soutaro/steep/pull/276))
+* Type case based on literals ([#277](https://github.com/soutaro/steep/pull/277))
+* Type case improvements ([#279](https://github.com/soutaro/steep/pull/279), [#283](https://github.com/soutaro/steep/pull/283))
+* Improvements on untyped classes/modules, unsupported syntax error handling, and argument types in untyped methods ([#280](https://github.com/soutaro/steep/pull/280))
+* Fix `bot` and `top` type format ([#278](https://github.com/soutaro/steep/pull/278))
+* Colorfull error messages ([#273](https://github.com/soutaro/steep/pull/273))
+## 0.38.0 (2020-12-10)
+* Improve `break`/`next` typing ([#271](https://github.com/soutaro/steep/pull/271))
+* Add LSP `workspace/symbol` feature ([#267](https://github.com/soutaro/steep/pull/267))
+## 0.37.0 (2020-12-06)
+* Update to RBS 0.20.0 with _singleton attribute_ syntax and _proc types with blocks_. ([#264](https://github.com/soutaro/steep/pull/264))
+## 0.36.0 (2020-11-16)
+* Flow-sensitive typing improvements with `||` and `&&` ([#260](https://github.com/soutaro/steep/pull/260))
+* Type-case improvement ([#259](https://github.com/soutaro/steep/pull/259))
+* Subtyping between `bool` and logic types ([#258](https://github.com/soutaro/steep/pull/258))
+## 0.35.0 (2020-11-14)
+* Support third party RBS repository ([#231](https://github.com/soutaro/steep/pull/231), [#254](https://github.com/soutaro/steep/pull/254), [#255](https://github.com/soutaro/steep/pull/255))
+* Boolean type semantics update ([#252](https://github.com/soutaro/steep/pull/252))
+* More flexible record typing ([#256](https://github.com/soutaro/steep/pull/256))
+## 0.34.0 (2020-10-27)
+* Add `steep stats` command to show method call typing stats ([#246](https://github.com/soutaro/steep/pull/246))
+* Fix attribute assignment typing ([#243](https://github.com/soutaro/steep/pull/243))
+* Let `Range[T]` be covariant ([#242](https://github.com/soutaro/steep/pull/242))
+* Fix constant typing ([#247](https://github.com/soutaro/steep/pull/247), [#248](https://github.com/soutaro/steep/pull/248))
+## 0.33.0 (2020-10-13)
+* Make `!` typing flow sensitive ([#240](https://github.com/soutaro/steep/pull/240))
+## 0.32.0 (2020-10-09)
+* Let type-case support interface types ([#237](https://github.com/soutaro/steep/pull/237))
+## 0.31.1 (2020-10-07)
+* Fix `if-then-else` parsing ([#236](https://github.com/soutaro/steep/pull/236))
+## 0.31.0 (2020-10-04)
+* Fix type checking performance ([#230](https://github.com/soutaro/steep/pull/230))
+* Improve LSP completion/hover performance ([#232](https://github.com/soutaro/steep/pull/232))
+* Fix instance variable completion ([#234](https://github.com/soutaro/steep/pull/234))
+* Relax version requirements on Listen to allow installing on Ruby 3 ([#235](https://github.com/soutaro/steep/pull/235))
+## 0.30.0 (2020-10-03)
+* Let top-level defs be methods of Object ([#227](https://github.com/soutaro/steep/pull/227))
+* Fix error caused by attribute definitions ([#228](https://github.com/soutaro/steep/pull/228))
+* LSP worker improvements ([#222](https://github.com/soutaro/steep/pull/222), [#223](https://github.com/soutaro/steep/pull/223), [#226](https://github.com/soutaro/steep/pull/226), [#229](https://github.com/soutaro/steep/pull/229))
+## 0.29.0 (2020-09-28)
+* Implement reasoning on `is_a?`, `nil?`, and `===` methods. ([#218](https://github.com/soutaro/steep/pull/218))
+* Better completion based on interface ([#215](https://github.com/soutaro/steep/pull/215))
+* Fix begin-rescue typing ([#221](https://github.com/soutaro/steep/pull/221))
+## 0.28.0 (2020-09-17)
+* Fix typing case-when with empty body ([#200](https://github.com/soutaro/steep/pull/200))
+* Fix lvasgn typing with `void` type hint ([#200](https://github.com/soutaro/steep/pull/200))
+* Fix subtype checking between type variables and union types ([#200](https://github.com/soutaro/steep/pull/200))
+* Support endless range ([#200](https://github.com/soutaro/steep/pull/200))
+* Fix optarg, kwoptarg typing ([#202](https://github.com/soutaro/steep/pull/202))
+* Better union/intersection types ([#204](https://github.com/soutaro/steep/pull/204))
+* Fix generic method instantiation ([#205](https://github.com/soutaro/steep/pull/205))
+* Fix module typing ([#206](https://github.com/soutaro/steep/pull/206))
+* Fix shutdown problem ([#209](https://github.com/soutaro/steep/pull/209))
+* Update RBS to 0.12.0 ([#210](https://github.com/soutaro/steep/pull/210))
+* Improve processing singleton class decls without RBS ([#211](https://github.com/soutaro/steep/pull/211))
+* Improve processing block parameter with masgn ([#212](https://github.com/soutaro/steep/pull/212))
+## 0.27.0 (2020-08-31)
+* Make tuple types _covariant_ ([#195](https://github.com/soutaro/steep/pull/195))
+* Support `or_asgn`/`and_asgn` with `send` node lhs ([#194](https://github.com/soutaro/steep/pull/194))
+* Performance improvement ([#193](https://github.com/soutaro/steep/pull/193))
+* Add specialized versions of `#first` and `#last` on tuples ([#191](https://github.com/soutaro/steep/pull/191))
+* Typing bug fix on `[]` (empty array) ([#190](https://github.com/soutaro/steep/pull/190))
+* Earlier shutdown with interruption while `steep watch` ([#173](https://github.com/soutaro/steep/pull/173))
+## 0.26.0
+* Skipped
+## 0.25.0 (2020-08-18)
+* Improve `op_send` typing ([#186](https://github.com/soutaro/steep/pull/186))
+* Improve `op_asgn` typing ([#189](https://github.com/soutaro/steep/pull/189))
+* Better multi-assignment support ([#183](https://github.com/soutaro/steep/pull/183), [#184](https://github.com/soutaro/steep/pull/184))
+* Support for loop and class variables ([#182](https://github.com/soutaro/steep/pull/182))
+* Fix tuple typing ([#181](https://github.com/soutaro/steep/pull/181))
+## 0.24.0 (2020-08-11)
+* Update RBS to 0.10 ([#180](https://github.com/soutaro/steep/pull/180))
+## 0.23.0 (2020-08-06)
+* Fix literal typing with hint ([#179](https://github.com/soutaro/steep/pull/179))
+* Fix literal type subtyping ([#178](https://github.com/soutaro/steep/pull/178))
+## 0.22.0 (2020-08-03)
+* Improve signature validation ([#175](https://github.com/soutaro/steep/pull/175), [#177](https://github.com/soutaro/steep/pull/177))
+* Fix boolean literal typing ([#172](https://github.com/soutaro/steep/pull/172))
+* Make exit code success when Steep has unreported type errors ([#171](https://github.com/soutaro/steep/pull/171))
+* Allow `./` prefix for signature pattern ([#170](https://github.com/soutaro/steep/pull/170))
+## 0.21.0 (2020-07-20)
+* Fix LSP hover ([#168](https://github.com/soutaro/steep/pull/168))
+* Nominal subtyping ([#167](https://github.com/soutaro/steep/pull/167))
+## 0.20.0 (2020-07-17)
+* Support singleton class definitions ([#166](https://github.com/soutaro/steep/pull/166))
+## 0.19.0 (2020-07-12)
+* Update RBS. ([#157](https://github.com/soutaro/steep/pull/157))
+* No `initialize` in completion. ([#164](https://github.com/soutaro/steep/pull/164))
+* Granular typing option setup. ([#163](https://github.com/soutaro/steep/pull/163))
+## 0.18.0 (2020-07-06)
+* Sort result of `Pathname#glob` ([#154](https://github.com/soutaro/steep/pull/154))
+* Sort methods in LanguageServer to return non-inherited methods first ([#159](https://github.com/soutaro/steep/pull/159))
+## 0.17.1 (2020-06-15)
+* Allow RBS gem to be 0.4 ([#153](https://github.com/soutaro/steep/pull/153))
+## 0.17.0 (2020-06-13)
+* Fix `steep watch` and `steep langserver` to correctly handle error message filterings based on options ([#152](https://github.com/soutaro/steep/pull/152))
+* Fix typing of collections ([#151](https://github.com/soutaro/steep/pull/151))
+## 0.16.3
+* Fix `steep watch` ([#147](https://github.com/soutaro/steep/pull/147))
+* Stop using pry ([#148](https://github.com/soutaro/steep/pull/148))
+## 0.16.2 (2020-05-27)
+* Update gems ([#144](https://github.com/soutaro/steep/pull/144), [#145](https://github.com/soutaro/steep/pull/145))
+## 0.16.1 (2020-05-22)
+* Fix constant resolution ([#143](https://github.com/soutaro/steep/pull/143))
+* Fix RBS diagnostics line number in LSP ([#142](https://github.com/soutaro/steep/pull/142))
+* Fix crash caused by hover on `def` in LSP ([#140](https://github.com/soutaro/steep/pull/140))
+## 0.16.0 (2020-05-19)
+* Spawn workers for type check performance ([#137](https://github.com/soutaro/steep/pull/137))
+* Fix `check` and `signature` methods in Steepfile ([8f3e4c7](https://github.com/soutaro/steep/pull/137/commits/8f3e4c75b29ac26920f02294be06d6c68dbd4dca))
+## 0.15.0 (2020-05-05)
+* Add type checking configuration to dsl ([#132](https://github.com/soutaro/steep/pull/132))
+* More flow sensitive type checking
+## 0.14.0 (2020-02-24)
+* Implementat LSP _completion_. ([#119](https://github.com/soutaro/steep/pull/119))
+* Update ruby-signature. ([#120](https://github.com/soutaro/steep/pull/120))
+* Rescue errors during `langserver`. ([#121](https://github.com/soutaro/steep/pull/121))
+* Pass hint when type checking `return`. ([#122](https://github.com/soutaro/steep/pull/122))
+* Remove trailing spaces from Steepfile. ([#118](https://github.com/soutaro/steep/pull/118))
+## 0.13.0 (2020-02-16)
+* Improve LSP _hover_ support. ([#117](https://github.com/soutaro/steep/pull/117))
+## 0.12.0 (2020-02-11)
+* Add `Steepfile` for configuration
+* Use the latest version of `ruby-signature`
+## 0.11.1 (2019-07-15)
+* Relax activesupport versnion requirement (#90)
+## 0.11.0 (2019-05-18)
+* Skip `alias` nodes type checking (#85)
+* Add experimental LSP support (#79. #83)
+* Fix logging (#81)
+## 0.10.0 (2019-03-05)
+* Add `watch` subcommand (#77)
+* Automatically `@implements` super class if the class definition inherits
+* Fix tuple typing
+* Fix `or` typing
+## 0.9.0 (2018-11-11)
+* Private methods (#72)
+* `__skip__` to skip type checking (#73)
+* Add `alias` for method types (#75)
+* Fix `Names::Base#hash` (#69 @hanachin)
+* Add `super` in method types (#76)
+## 0.8.2 (2018-11-09)
+* Fix ElseOnExhaustiveCase error implementation
+* Add some builtin methods
+## 0.8.1 (2018-10-29)
+* Remove duplicated detected paths (#67)
+## 0.8.0 (2018-10-29)
+* Load types from gems (#64, #66)
+* Fix exit status (#65)
+* Fix `--version` handling (#57 @ybiquitous, #58)
+* Add `Regexp` and `MatchData` (#58 @ybiquitous)
+## 0.7.1 (2018-10-22)
+* Rename *hash type* to *record type* (#60)
+* Fix keyword typing (#59)
+## 0.7.0 (2018-09-24)
+* Add some builtin
+* Fix array argument typing
+* Allow `@type` instance variable declaration in signature
+* Fix `@type` annotation parsing
+* Fix polymorphic method type inference
+* Fix relative module lookup
+* Fix module name tokenization
+## 0.6.0 (2018-09-23)
+* Update ast_utils
+* Introduce *hash* type `{ id: Integer, name: String }` (#54)
+* Revise signature syntax; use `<` instead of `<:` for inheritance (#53)
+* Interface and alias name can be namespaced (#52)
+* Grammar formatting (#51 @iliabylich)
+## 0.5.1 (2018-08-11)
+* Relax dependency requirements (#49, #50)
+## 0.5.0 (2018-08-11)
+* Support *lambda* `->` (#47)
+* Introduce *incompatible* method (#45)
+* Add type alias (#44)
+* Steep is MIT license (#43)
+* Improved block parameter typing (#41)
+* Support optional block
+* Support attributes in module
+* Support `:xstr` node
+* Allow missing method definition with `steep check` without `--strict`
+## 0.4.0 (2018-06-14)
+* Add *tuple* type (#40)
+* Add `bool` and `nil` types (#39)
+* Add *literal type* (#37)
+## 0.3.0 (2018-05-31)
+* Add `interface` command to print interface built for given type
+* Add `--strict` option for `check` command
+* Fix `scaffold` command for empty class/modules
+* Type check method definition with empty body
+* Add `STDOUT` and `StringIO` minimal definition
+* Fix validate command to load stdlib
+* Fix parsing keyword argument type
+## 0.2.0 (2018-05-30)
+* Add `attr_reader` and `attr_accessor` syntax to signature (#33)
+* Fix parsing on union with `any`