Bugfix/int ambiguity#169

Merged

moomoohk merged 6 commits intomasterfrom

bugfix/int-ambiguity

Nov 30, 2022

Commits on Nov 28, 2022

Catch all exceptions in type check
moomoohk
committed

Commits on Nov 30, 2022

Add test for int ambiguity
moomoohk
committed