transpile: Translate enums in `switch` as their own type instead of integers#1817

Draft

Rua wants to merge 28 commits into

immunant:masterfrom

Rua:match-enum

Commits on May 22, 2026

refactor: In `alter_ty_path`, return on failed unpack
Rua
committed
transpile: Split off `convert_decl_ref`
Rua
committed
transpile: Modify enum/pointer cast methods to take `CQualTypeId` and return `WithStmts`
Rua
committed
transpile: Add `convert_enum_constant_decl_ref`
Rua
committed
transpile: Add `enum_constructor_expr`, replace params accordingly
Rua
committed
transpile: Cast enums only if actually needed
Rua
committed
transpile: Use correct types for enums in `convert_pre_increment`
Rua
committed
transpile: Add `EnumMode` to select enum output type
Rua
committed
transpile: Add `EnumMode::NewType` and make it the default
Rua
committed
transpile: Factor out `can_propagate_cast`
Rua
committed
transpile: Move ctx modifications down in cast handling code
Rua
committed
transpile: Add `enums.c` snapshot test
Rua
committed
transpile: let `can_propagate_cast` handle casting `EnumConstant` to its own enum
Rua
committed
transpile: let `convert_literal` handle casting literal to enum
Rua
committed
transpile: Propagate cast of `EnumConstant` to its own integral type
Rua
committed
transpile: In `Case` translation, do not propagate translation errors
Rua
committed
transpile: Add `ExprContext::is_pattern`, error on unsupported exprs
Rua
committed
transpile: Do not emit casts for literals in patterns
Rua
committed
transpile: Use `convert_expr` for patterns in `ConstantExpr`
Rua
committed
transpile: Add `expr_to_pat` function for more thorough conversion
Rua
committed
transpile: Treat cast failure in macro expansion as expansion failure
Rua
committed
transpile: Allow limited cast translation in patterns
Rua
committed
transpile: In `Case` translation, do not skip over initial cast
Rua
committed
transpile: Allow `EnumConstant` `DeclRef`s and casts to enums in patterns
Rua
committed
transpile: Add override type for enums in `SwitchCases`
Rua
committed
transpile: Derive `Eq` for enum newtypes
Rua
committed
transpile: Translate enums in `switch` as their own type instead of integers
Rua
committed

Commits on May 23, 2026

test
Rua
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

transpile: Translate enums in `switch` as their own type instead of integers#1817

transpile: Translate enums in `switch` as their own type instead of integers#1817
Rua wants to merge 28 commits into
immunant:masterfrom
Rua:match-enum

Commits on May 22, 2026

refactor: In `alter_ty_path`, return on failed unpack

transpile: Split off `convert_decl_ref`

transpile: Modify enum/pointer cast methods to take `CQualTypeId` and return `WithStmts`

transpile: Add `convert_enum_constant_decl_ref`

transpile: Add `enum_constructor_expr`, replace params accordingly

transpile: Cast enums only if actually needed

transpile: Use correct types for enums in `convert_pre_increment`

transpile: Add `EnumMode` to select enum output type

transpile: Add `EnumMode::NewType` and make it the default

transpile: Factor out `can_propagate_cast`

transpile: Move ctx modifications down in cast handling code

transpile: Add `enums.c` snapshot test

transpile: let `can_propagate_cast` handle casting `EnumConstant` to its own enum

transpile: let `convert_literal` handle casting literal to enum

transpile: Propagate cast of `EnumConstant` to its own integral type

transpile: In `Case` translation, do not propagate translation errors

transpile: Add `ExprContext::is_pattern`, error on unsupported exprs

transpile: Do not emit casts for literals in patterns

transpile: Use `convert_expr` for patterns in `ConstantExpr`

transpile: Add `expr_to_pat` function for more thorough conversion

transpile: Treat cast failure in macro expansion as expansion failure

transpile: Allow limited cast translation in patterns

transpile: In `Case` translation, do not skip over initial cast

transpile: Allow `EnumConstant` `DeclRef`s and casts to enums in patterns

transpile: Add override type for enums in `SwitchCases`

transpile: Derive `Eq` for enum newtypes

transpile: Translate enums in `switch` as their own type instead of integers

Commits on May 23, 2026

test