[Issue 17502] [REG2.064] Out contract in class method causes dmd segfault.

[d-bugmail at puremagic.com]

https://issues.dlang.org/show_bug.cgi?id=17502

--- Comment #6 from github-bugzilla at puremagic.com ---
Commit pushed to stable at https://github.com/dlang/dmd

https://github.com/dlang/dmd/commit/831552d2047d802c0d4b02c72940ddf43fbc360c
Fix bug 17502 (again): Generate contracts after inferring return type.

Wait until after the return type has been inferred before generating the
contracts for this function, and merging contracts from overrides.

This was originally at the end of the first semantic pass, but required
a fix-up to be done here for the '__result' variable type of __ensure()
inside auto functions, but this didn't work if the out parameter was
implicit.

--