[v2] Simplify AST `Type` implementation to add `LiteralType::mobile_type()`#1793

Merged

ggiraldez merged 9 commits into

mainfrom

ggiraldez/v2-revamp-exported-types

Jun 5, 2026

Commits on Jun 4, 2026

Use named structs for semantic's `Type` enum
ggiraldez
committed
Remove `ast::Type::type_id()` and make `create` non-public
ggiraldez
committed
Store the variant struct into each variant of `ast::Type`
ggiraldez
committed
Expose `mobile_type()` for the AST `LiteralType`
ggiraldez
committed
Rename `precision_bits` to `decimal_places` in `FixedPointNumberType`
ggiraldez
committed
Implement `mobile_type()` for rationals returning fixed-point types
ggiraldez
committed
Fast-path for mobile type of rationals with non-periodic fractional part
ggiraldez
committed
Change `LiteralKind::HexInteger`'s value to `BigUint` to enforce non-negative
ggiraldez
committed
Change iterative division by 2 for shift by trailing zeros
ggiraldez
committed