Bug 16244 – compiler ICE on complex `typeof()` for method arg type

this code segfaults with 2.071: struct Foo { int get_val () const { return 0; } auto val() (typeof(cast()get_val) v) {} } void main () { Foo().val = 45; } note that removing `cast()` gives proper error message instead.

p.s. i.e. compiler segfaults, not the compiled code. sorry.

fix: diff --git a/src/dtemplate.d b/src/dtemplate.d index a5ca897..257ba2a 100644 --- a/src/dtemplate.d +++ b/src/dtemplate.d @@ -4883,7 +4883,7 @@ extern (C++) bool reliesOnTident(Type t, TemplateParameters* tparams = null, siz { //printf("CallExp::reliesOnTident('%s')\n", e.toChars()); visit(cast(UnaExp)e); - if (!result) + if (!result && e.to) // e.to can be null for `cast()` e.to.accept(this); } . --. 2.9.0

Covered by DMD's PR https://github.com/dlang/dmd/pull/6457

Commits pushed to master at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/0a2156bab6608efe8bc7d0efadc815bf2e322a9a Fix issue 16244 - Prevent an ICE with empty cast https://github.com/dlang/dmd/commit/e797f7e9bacc8324fd3a4d86913df7c73be4c7eb Merge pull request #6457 from LemonBoy/b16244 Fix issue 16244 - Prevent an ICE with empty cast

Commits pushed to newCTFE at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/0a2156bab6608efe8bc7d0efadc815bf2e322a9a Fix issue 16244 - Prevent an ICE with empty cast https://github.com/dlang/dmd/commit/e797f7e9bacc8324fd3a4d86913df7c73be4c7eb Merge pull request #6457 from LemonBoy/b16244