Fix --rustified-non-exhaustive-enum
flag#3266
Merged
emilio merged 3 commits intorust-lang:mainfrom Aug 21, 2025
Merged
Commits
Commits on Aug 15, 2025
- committedPer Larsen
- committedPer Larsen
- committedPer Larsen