git-issue-5274.dfy(15,7): Error: type parameter (T) passed to type Pair must support equality (got (int, ghost int))
git-issue-5274.dfy(17,8): Error: type parameter (T) passed to type Pair must support equality (got (int, ghost int))
2 resolution/type errors detected in git-issue-5274.dfy
