1.9.0

Release note

Type checker core

• Report diagnostic on unknown record key (#1385)
• Report annotation syntax error (#1384)
• emit UnreachableBranch to the "void" condition (#1356)
• Support &method(:name) call for block_pass (#1276)
• Emit SingletonTypeMismatch when class/module mismatch (#1274)
• refactor: Use Array#fetch instead of Array#[] to resolve type errors (#1287)
• refactor: Use Hash#fetch instead of Hash#[] to resolve type errors (#1286)
• Expand array(splat(expr node (#1347)
• Add UnannotatedEmptyCollection diagnostic (#1338)
• Update type checking strategy (#1308)
• Fix untyped hash typing (#1299)
• Support implicitly-returns-nil (#1258)
• Fix record shape (#1265)
• Remove unused rules (#1238)

Commandline tool

• Introduces a new target.* syntax for everything in the target (#1387)
• Symbolize target/group names (#1364)
• Update Steepfile template (#1355)
• Delete target from --validate option (#1346)
• Install rbs collection automatically (#1345)

Language server

• Add link to diagnostic manual (#1388)
• Stop accumulating diagnostics (#1367)
• Send server version to client (#1341)
• Add custom methods to trigger type check manually (#1340)
• Type check thread helpers (#1335)
• Use URI::RFC2396_Parser (#1329)
• Handle file deletion notification (#1300)
• Refactor communication between master and type check worker (#1285)
• Skip sending response to $/steep/typecheck request from steep langserver (#1267)

Miscellaneous

• Use rbs-3.7 (#1383)
• Move diagnostic docs (#1370)
• Add anchor (#1359)
• Update example to not use ^ as a hash function (#1360)
• doc: Add diagnostics for Ruby page (#1249)
• Update filename example in initial Steepfile (#1230)
• docs: Add document for steep:ignore comment (#1353)
• docs: Add document for type assertion and type application (#1235)
• Print test names in CI for investigation (#1354)
• Fix typo (#1352)
• Set up type checking tests (#1339)
• Fix typo (#1248)