use current scope instead of parent scope to determine if arith. is checked#1951

Merged

montyly merged 4 commits intodevfrom fix/checked-scope

Jun 22, 2023

+98-93

Commits on Jun 7, 2023

use current scope instead of parent scope to determine if arith. is checked
0xalpharush
committed

Commits on Jun 20, 2023