Skip to content

fix(hy-check): reject typed int variables in return statements and channel sends for float targets (fixes #2575) - #2587

Open
Dimank92 wants to merge 1 commit into
limitlessprojects:mainfrom
Dimank92:fix/issue-2575-return-and-chan-send-float-int-soundness
Open

fix(hy-check): reject typed int variables in return statements and channel sends for float targets (fixes #2575)#2587
Dimank92 wants to merge 1 commit into
limitlessprojects:mainfrom
Dimank92:fix/issue-2575-return-and-chan-send-float-int-soundness

fix(hy-check): reject typed int variables in return statements and ch…

4cade85
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
quick
succeeded Oct 31, 2026 in 36s