D-Programming-Language/dmd — pull request #2613 by 9rnsr (2013-10-02 05:31:47+00:00)
Title: [REG2.061] Issue 10074 - segfault in dmd

http://d.puremagic.com/issues/show_bug.cgi?id=10074

From 2.061, `deduceFunctionTemplate` has been using `TemplateDeclaration::matchWithInstance` to do IFTI more strictly. However, `matchWithInstance` does not detect the recursive template instantiation inside template constraint, against `deduceFunctionTemplateMatch`.

Duplicate the detection mechanism into `matchWithInstance`.