Repository navigation

@value T | null without a tag when T holds an interface or a class; null tested by descriptor kind - #760

Merged

ASDAlexander77 merged 2 commits into

mainfrom

value-null-niche

Oct 31, 2026

Merged

@value T | null without a tag when T holds an interface or a class; null tested by descriptor kind#760
ASDAlexander77 merged 2 commits into
mainfrom
value-null-niche

Commits on Oct 31, 2026
- A union holds null when its tag's descriptor is of kind null, not when its name is "null"
  
  ASDAlexander77
  and
  claude
  committed
  83659cd
- A @value type holding an interface or a class needs no tag for its null
  
  ASDAlexander77
  and
  claude
  committed
  63be294