git-issue-4994.dfy(12,13): Error: arguments must have comparable types (got Parent and D)
git-issue-4994.dfy(14,13): Error: arguments must have comparable types (got D and Parent)
git-issue-4994.dfy(16,13): Error: arguments must have comparable types (got Parent and Co)
git-issue-4994.dfy(18,14): Error: arguments must have comparable types (got Co and Parent)
git-issue-4994.dfy(25,13): Error: arguments must have comparable types (got Parent and D)
git-issue-4994.dfy(27,13): Error: arguments must have comparable types (got D and Parent)
git-issue-4994.dfy(29,13): Error: arguments must have comparable types (got Parent and Co)
git-issue-4994.dfy(31,14): Error: arguments must have comparable types (got Co and Parent)
git-issue-4994.dfy(35,9): Error: arguments must have comparable types (got Parent and D)
git-issue-4994.dfy(36,9): Error: arguments must have comparable types (got D and Parent)
git-issue-4994.dfy(38,9): Error: arguments must have comparable types (got Parent and Co)
git-issue-4994.dfy(39,10): Error: arguments must have comparable types (got Co and Parent)
git-issue-4994.dfy(41,9): Error: arguments must have comparable types (got Parent and D)
git-issue-4994.dfy(42,9): Error: arguments must have comparable types (got D and Parent)
git-issue-4994.dfy(44,9): Error: arguments must have comparable types (got Parent and Co)
git-issue-4994.dfy(45,10): Error: arguments must have comparable types (got Co and Parent)
16 resolution/type errors detected in git-issue-4994.dfy
