fixes #3670: KeY does not know that enum constants are non-null - #3676
Open
mattulbrich wants to merge 5 commits into
Open
fixes #3670: KeY does not know that enum constants are non-null#3676mattulbrich wants to merge 5 commits into
mattulbrich wants to merge 5 commits into
Commits
Commits on Jun 29, 2026
- committed
- authored andcommitted
- committed
- committed
- committed
