Bug 13847 – CTFE internal error: dottype

Dot-Type expression is not yet properly supported in CTFE. class B { int foo() { return 1; } } class C : B { override int foo() { return 2; } } static assert({ C c = new C(); assert(c.B.foo() == 1); return 1; }());

Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/57091af50ba5d531a34770bb810df26eafe58812 fix Issue 13847 - CTFE internal error: dottype Handle function values in each CTFE steps, then simplify CallExp::interpret() and we need to interpret CallExp::e1 just only once. After all, DotTypeExp will be one of the function values in CTFE, and CallExp::interpret can distinguish 'virtual call' and 'direct call' properly. Also simplify ThisExp::interpret because pthis is always interpreted to a literal expression (TOKstructliteral or TOKclassreference). https://github.com/D-Programming-Language/dmd/commit/8597cda969db9221350f28903a85fe88fef26821 Merge pull request #4208 from 9rnsr/fix13847 Issue 13847 - CTFE internal error: dottype

Commits pushed to 2.067 at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/57091af50ba5d531a34770bb810df26eafe58812 fix Issue 13847 - CTFE internal error: dottype https://github.com/D-Programming-Language/dmd/commit/8597cda969db9221350f28903a85fe88fef26821 Merge pull request #4208 from 9rnsr/fix13847