Skip to content

treat enums as never members of unknown types - #714

Open
bakkot wants to merge 1 commit into
mainfrom
enum-error
Open

treat enums as never members of unknown types#714
bakkot wants to merge 1 commit into
mainfrom
enum-error

Commits

Commits on Jul 23, 2026