Bug 12748 – ICE: Using typeof(S.init[0]) in type name specialization.

Status
RESOLVED
Resolution
FIXED
Severity
major
Priority
P1
Component
dmd
Product
D
Version
D2
Platform
All
OS
All
Creation time
2014-05-15T18:07:00Z
Last change time
2016-03-19T20:21:51Z
Keywords
ice, pull
Assigned to
nobody
Creator
kdmult

Comments

Comment #0 by kdmult — 2014-05-15T18:07:58Z
I am not sure the syntax is correct, but some error message is expected instead of the ICE. --- module test; void test(S, C : typeof(S.init[0]))(S s, C c) {} void main() {} ---
Comment #1 by k.hara.pg — 2014-08-01T10:42:07Z
*** Issue 12804 has been marked as a duplicate of this issue. ***
Comment #2 by k.hara.pg — 2015-08-19T15:05:40Z
Comment #3 by github-bugzilla — 2016-02-01T18:57:01Z
Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/0a1b380861b21e8218f8d0185e96e5b6a8f33228 fix Issue 12748 - ICE: Using typeof(S.init[0]) in type name specialization `reliesOnTident` should support representation check for both Type and Expression. https://github.com/D-Programming-Language/dmd/commit/cdb49cdd575c2d37f044ebf1aa0f1f0670ebcc61 Merge pull request #4910 from 9rnsr/fix12748 Issue 12748 - ICE: Using typeof(S.init[0]) in type name specialization
Comment #4 by github-bugzilla — 2016-03-19T20:21:51Z