D-Programming-Language/dmd — pull request #498 by 9rnsr (2011-11-07 12:30:33+00:00)
Title: Issue 6902 - Different "pure nothrow int()" types

While the semantic analysis of function body, we should not do `fd->type->semantic()`, even if the type inference is necessary.
Because the result of safe/pure/nothrow inference should apply BEFORE `fd->type->semantic()`.