experiment with `into` type conversion#26

Draft

mohsinhassaan wants to merge 12 commits into

DistCompiler:fhackett-rw-rwfrom

mohsinhassaan:fhackett-rw-rw-rw

Commits on Jul 1, 2026

experiment with `into` type conversion
mohsinhassaan
committed

Commits on Jul 4, 2026

Commits on Jul 5, 2026

finish simpler implementation of P.Meta for sealed supertypes, make better error messages
fhackett
committed

Commits on Jul 12, 2026

correct Sum.EffectiveType using tuples rather than unions
fhackett
committed

Commits on Jul 21, 2026

basic implementation of adding cases to Sum
mohsinhassaan
committed

Commits on Jul 24, 2026