Araq/Nimrod — pull request #628 by mflamer (2013-10-21 18:52:04+00:00)
Title: fix for Issue #626 - Distinct and generics not working together

sameDistinctTypes(a, b) ends up calling sameTypeAux(a, b, c) with a fresh c closure which has c.recCheck = 0. This was causing CycleCheck() to fail, hence the endless loop.