Add missing Nullable annotations #355

Merged
jwharm merged 2 commits from nullable-record-params into main 2026-04-25 11:53:04 +02:00
Owner
  • Added a utility function to easily annotate a type as nullable
  • Generate Nullable annotations on Record constructor parameters
  • Enabled a testcase that was disabled previously, but works fine nowadays
- Added a utility function to easily annotate a type as nullable - Generate Nullable annotations on Record constructor parameters - Enabled a testcase that was disabled previously, but works fine nowadays
- Added a utility function to easily annotate a type as nullable
- Generate Nullable annotations on Record constructor parameters
jwharm merged commit bac95a872e into main 2026-04-25 11:53:04 +02:00
jwharm deleted branch nullable-record-params 2026-04-25 11:53:05 +02:00
Sign in to join this conversation.
No description provided.