Repository navigation

[WIP] Polymorphization - #160300

Draft

camelid wants to merge 6 commits into

rust-lang:mainfrom

Draft

[WIP] Polymorphization#160300
camelid wants to merge 6 commits into
rust-lang:mainfrom
camelid:poly

Commits on Oct 8, 2026
- wip on polymorphization
  camelid
  committed
  1e990a0
- Make randomization_seed required again
  camelid
  committed
  d0095c0
Commits on Oct 9, 2026
- Add FIXME
  camelid
  committed
  ecf78bf
Commits on Oct 12, 2026
- Keep params in erased types, but prevent them from escaping
  camelid
  committed
  d175313
Commits on Oct 13, 2026
- Remove outdated hacky check
  camelid
  committed
  b9a92cb
- Make polymorphization a query
  camelid
  committed
  a816f9b