Merged
Allow discriminant reads not followed by `SwitchInt`#132Nadrieril merged 5 commits intomainfrom bare-discriminant-read
Nadrieril merged 5 commits intomainfrom bare-discriminant-read
Allow discriminant reads not followed by SwitchInt
#132
Merged
Nadrieril merged 5 commits intomainfrom bare-discriminant-readApr 23, 2024
+270-136
Commits cannot be loaded
The page is unavailable due to a system error.
Try reloading the page, or if the problem persists, contact support.