- JSpecify: Handle @nullable assignments to @nonnull arrays (#929)
- Handle JDK 21 case operands in type refinement (#928)
- Track access paths of the form Foo.this.bar (#937)
- Add test for boolean contract with extra message argument (#945)
- Collectors.toMap handling for streams (#938)
- Handle methods that fail unconditionally in ContractHandler (#946)
- Build / CI tooling upgrades:
- Update various dependencies (#939)
Contributors
nullable and nonnull