https://issues.dlang.org/show_bug.cgi?id=17502
--- Comment #6 from github-bugzi...@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. --
