Repository navigation

fix: use cast preimages for cast predicate rewrites - #10

Closed

discord9 wants to merge 9 commits into

GreptimeTeam:mainfrom

discord9:discord9/cast-preimage-forkfix

Commits on Jul 2, 2026
- refactor: use cast preimages for cast predicate rewrites
  discord9
  committed
  02e6880
- test: more tests
  discord9
  committed
  20f572c
- chore: clippy
  discord9
  committed
  d0fd22e
- test: cover cast preimage distinctness
  discord9
  committed
  d56ca31
- test: cover cast preimage edge cases
  discord9
  committed
  49900d6
- fix: safe check for types
  discord9
  committed
  21aa0ad
- test: helper
  discord9
  committed
  1c60ab4
- chore: clippy
  discord9
  committed
  b54f0c7
- fix: update higher order UDF trait object
  discord9
  committed
  2671d79