fix: replace default-allow cast unwrap with closed-by-default allowlist - #6

Open

discord9 wants to merge 22 commits into

GreptimeTeam:mainfrom

discord9:fix/lossy-unwrap-cast-comparisons-gt

Commits on Jun 9, 2026

fix: forbid lossy cast(for now)
discord9
committed
50c717d
chore: change header back
discord9
committed
70db26e
fix: more lossy cast&slt test
discord9
committed
8c32ca9
fix: support distinct from
discord9
committed
c1368e3
docs: clean up comments
discord9
committed
3d5f4f6
chore: clippy
discord9
committed
dab0548
fix: close by default
discord9
committed
f877a16
refactor: per review
discord9
committed
5879b61
chore: update testing&docs
discord9
committed
ad07922
feat: allow integer widening in comparison unwrap
discord9
committed
7c5bb68
fix: in list
discord9
committed
97567b3
chore: update testing
discord9
committed
cdda379
fix: revert unnecessary @" vs @r" changes in snapshot tests
discord9
committed
c0e6795
feat: closed-by-default allowlist for comparison unwrap casts
discord9
committed
d7cda07
fix: clippy collapsible_if
discord9
committed
cc50eb3
chore: add TODO for cross-timezone timestamp unwrap
discord9
committed
647d2af
chore: document cross-timezone limitation in allowlist doc
discord9
committed
911b78b
chore
discord9
committed
55d5ab2
fix: timezone handling
discord9
committed
fb770ae
chore: fmt
discord9
committed
4373004
chore: add fixed size binary eq to allowlist
discord9
committed
77455ce
docs: update stale
discord9
committed
8ab0594