[Issue 13847] New: CTFE internal error: dottype

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=13847

          Issue ID: 13847
           Summary: CTFE internal error: dottype
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Keywords: CTFE, rejects-valid
          Severity: major
          Priority: P1
         Component: DMD
          Assignee: nobody at puremagic.com
          Reporter: k.hara.pg at gmail.com

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;
}());

--