git-issue-2303.dfy(5,10): Error: base type of newtype 'int0' is not fully determined; add an explicit type for bound variable 'x'
git-issue-2303.dfy(9,10): Error: base type of newtype 'int0' is not fully determined; add an explicit type for bound variable 'y'
git-issue-2303.dfy(10,19): Error: integer literal used as if it had type int0
git-issue-2303.dfy(14,7): Error: base type of subset type 'int0' is not fully determined; add an explicit type for bound variable 'x'
4 resolution/type errors detected in git-issue-2303.dfy
