[Issue 875] New: crash in glue.c line 700

[d-bugmail at puremagic.com]

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

           Summary: crash in glue.c line 700
           Product: D
           Version: 1.00
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: bugzilla at digitalmars.com
        ReportedBy: kevinbealer at gmail.com


Boiled down code shown below; I'm not sure how legal this syntax should be, but
its enough to derail dmd.  What I'm trying to do is specialize on two variadic
type lists by wrapping them in tuples.

Thanks,
Kevin
-----
import std.traits;

int main(char[][] args)
{
    double bongos(int flux, char[] soup)
    {
        return 0.0;
    }

    auto foo = mk_future(& bongos, 99, "soup"[]);

    return 0;
}

int mk_future(A, B...)(A cmd, B args)
{
    typedef ReturnType!(A) TReturn;
    typedef ParameterTypeTuple!(A) TParams;
    typedef B TArgs;

    alias Foo!(TReturn, TParams, TArgs) TFoo;

    return 0;
}

class Foo(A, B, C) {
    this(A delegate(B), C)
    {
    }
}
-----
dmd -ofbasic basic.d
dmd: glue.c:700: virtual unsigned int Type::totym(): Assertion `0' failed.


--