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

          Issue ID: 20051
           Summary: ICE in func literal used in __traits(compiles)
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Keywords: ice
          Severity: normal
          Priority: P1
         Component: dmd
          Assignee: nobody@puremagic.com
          Reporter: b2.temp@gmx.com

---
struct Templ2(Args...)
{
}

struct WillAlsoWork(alias T : Templ!Args, Args...)
{
    alias A = Args[0];
}

void main()
{
    alias C2 = Templ2!int;
    static assert(!__traits(compiles, {
        alias B2 = WillAlsoWork!C2;
        B2.A a2;
    }));
}
---

--