Initial public release
Pre-release
Pre-release
This is the initial public release, with subtype checking on:
- Arguments passed to methods
- Field and variable assignments
- Method implementations
- Return types
As well as an optional may not be assigned null inspection.