Skip to content

fix(hy-check): check move projection index/slice subexpr uses and reject unrooted own-handle field moves (fixes #4006) - #4007

Open
pa-khan wants to merge 1 commit into
limitlessprojects:mainfrom
pa-khan:fix/move-projection-index-uses-and-unrooted-handle-field-soundness
Open

pa-khan wants to merge 1 commit into
limitlessprojects:mainfrom
pa-khan:fix/move-projection-index-uses-and-unrooted-handle-field-soundness

fix(hy-check): check move projection index/slice subexpr uses and rej…

2945862
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
quick
Started 2026-11-07 10:12:29 ago