git-issue-181.dfy(27,17): Warning: type parameter T of ghost function g is declared (==), which is unnecessary because the function doesn't contain any compiled code
git-issue-181.dfy(57,16): Warning: type parameter T of ghost method mg is declared (==), which is unnecessary because the method doesn't contain any compiled code
git-issue-181.dfy(13,10): Error: type parameter (T) passed to type ResultN must contain no references (got C)
git-issue-181.dfy(15,10): Error: type parameter (T) passed to type ResultN must contain no references (got array<int>)
git-issue-181.dfy(22,13): Error: type parameter (T) passed to type D must support equality (got int -> int)
git-issue-181.dfy(23,13): Error: type parameter (T) passed to type D must support equality (got E)
git-issue-181.dfy(53,11): Error: type parameter (T) passed to function gg must support equality (got T) (perhaps try declaring type parameter 'T' on line 50 as 'T(==)', which says it can only be instantiated with a type that supports equality)
5 resolution/type errors detected in git-issue-181.dfy
