If a method has out contract it causes dmd segfault. ``` class Foo { auto foo() in {} //out {} // uncomment it to get dmd segfault body{} } void main() { auto foo = new Foo(); foo.foo(); } ```
Fails with previous releases, to at least 2.064.2. Between 2.068.2 and 2.069.0 (frontend translated into D), the error diagnostic changes. The "in {}" line can be dropped, but class, auto return type, and "out" without parameters seem to all be important.
Introduced in https://github.com/dlang/dmd/pull/2383
PR by @Burgos: https://github.com/dlang/dmd/pull/6906
Commits pushed to master at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/99b7e49ad99ac2cb3e64e053a45e4663271ffae7 Fix issue 17502: Allow no parameters in out contract for auto methods Even in case of non-void methods, their out contract should be able to accept no arguments. For the methods with auto return type, there was oversight where one argument to `out` was always assumed. https://github.com/dlang/dmd/commit/620acd53b63bfede6179a1b6a5c7d1b01a14ed0e Merge pull request #6906 from Burgos/out_param Fix issue 17502: Allow no parameters in out contract for auto methods
Commits pushed to newCTFE at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/99b7e49ad99ac2cb3e64e053a45e4663271ffae7 Fix issue 17502: Allow no parameters in out contract for auto methods https://github.com/dlang/dmd/commit/620acd53b63bfede6179a1b6a5c7d1b01a14ed0e Merge pull request #6906 from Burgos/out_param
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.
Commit pushed to master at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/831552d2047d802c0d4b02c72940ddf43fbc360c Fix bug 17502 (again): Generate contracts after inferring return type.