git-issue-5972.dfy(19,11): Error: == can only be applied to expressions of types that support equality (got M<int, A>) (perhaps try declaring type parameter 'A' on line 6 as 'A(==)', which says it can only be instantiated with a type that supports equality)
git-issue-5972.dfy(37,11): Error: == can only be applied to expressions of types that support equality (got S<A>) (perhaps try declaring type parameter 'A' on line 24 as 'A(==)', which says it can only be instantiated with a type that supports equality)
git-issue-5972.dfy(80,11): Error: == can only be applied to expressions of types that support equality (got M<int, A>) (perhaps try declaring type parameter 'A' on line 67 as 'A(==)', which says it can only be instantiated with a type that supports equality)
git-issue-5972.dfy(98,11): Error: == can only be applied to expressions of types that support equality (got S<A>) (perhaps try declaring type parameter 'A' on line 85 as 'A(==)', which says it can only be instantiated with a type that supports equality)
git-issue-5972.dfy(124,7): Error: type 'MyMap' declared as supporting equality, but the RHS type (map<T, U>) might not (perhaps try declaring type parameter 'U' on line 124 as 'U(==)', which says it can only be instantiated with a type that supports equality)
git-issue-5972.dfy(125,7): Error: type 'MySeq' declared as supporting equality, but the RHS type (seq<T>) might not (perhaps try declaring type parameter 'T' on line 125 as 'T(==)', which says it can only be instantiated with a type that supports equality)
git-issue-5972.dfy(202,11): Error: == can only be applied to expressions of types that support equality (got M<int, A>) (perhaps try declaring type parameter 'A' on line 189 as 'A(==)', which says it can only be instantiated with a type that supports equality)
git-issue-5972.dfy(220,11): Error: == can only be applied to expressions of types that support equality (got S<A>) (perhaps try declaring type parameter 'A' on line 207 as 'A(==)', which says it can only be instantiated with a type that supports equality)
8 resolution/type errors detected in git-issue-5972.dfy
