git-issue-1377.dfy(22,11): Error: the result type of function 'baz' (Cell?) differs from that in the overridden function (Cell)
git-issue-1377.dfy(25,11): Error: the result type of function 'xyz' (int) differs from that in the overridden function (nat)
git-issue-1377.dfy(36,12): Error: the type of in-parameter 'n' is different from the type of the corresponding in-parameter in trait method ('int' instead of 'nat')
git-issue-1377.dfy(36,29): Error: the type of out-parameter 'n'' is different from the type of the corresponding out-parameter in trait method ('nat' instead of 'int')
git-issue-1377.dfy(37,12): Error: the type of in-parameter 'n' is different from the type of the corresponding in-parameter in trait method ('nat' instead of 'int')
git-issue-1377.dfy(37,29): Error: the type of out-parameter 'n'' is different from the type of the corresponding out-parameter in trait method ('int' instead of 'nat')
git-issue-1377.dfy(38,14): Error: the type of parameter 'n' is different from the type of the corresponding parameter in trait function ('int' instead of 'nat')
git-issue-1377.dfy(38,11): Error: the result type of function 'F0' (nat) differs from that in the overridden function (int)
git-issue-1377.dfy(39,14): Error: the type of parameter 'n' is different from the type of the corresponding parameter in trait function ('nat' instead of 'int')
git-issue-1377.dfy(39,11): Error: the result type of function 'F1' (int) differs from that in the overridden function (nat)
10 resolution/type errors detected in git-issue-1377.dfy
