[Issue 7731] New: Assertion failure: 't' on line 7911 in file 'mtype.c'

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=7731

           Summary: Assertion failure: 't' on line 7911 in file 'mtype.c'
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody at puremagic.com
        ReportedBy: dmitry.olsh at gmail.com


--- Comment #0 from Dmitry Olshansky <dmitry.olsh at gmail.com> 2012-03-19 06:27:50 PDT ---
That's the exact output of dmd 2.059head, on win 7:                 
Assertion failure: 't' on line 7911 in file 'mtype.c'

abnormal program termination

//code
struct A{
  int a;
}

template Inherit(alias X)
{
  X __super;
  alias __super this;
}

struct B{
  mixin Inherit!A;
  int b;
}

struct PolyPtr(X)
{
    X* _payload;
    static if(is(typeof(X.init.__super)))
    {
        alias typeof(X.init.__super) Super;
        @property auto getSuper(){ return PolyPtr!Super(&_payload.__super); }
        alias getSuper this;
    }
//    alias _payload this;//multiple alias this, sigh
    auto opDispatch(string s)(){ return mixin("_payload."~s); }
}

template create(X) 
{
    PolyPtr!X create(X, T...)(T args){
        return PolyPtr!X(args);
    }    
}

void f1(PolyPtr!A a) {/*...*/}
void f2(PolyPtr!B b) {f1(b);/*...*/}

void main(){
    auto b = create!B();
}

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------