https://issues.dlang.org/show_bug.cgi?id=16428
John Colvin <john.loughran.col...@gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |john.loughran.colvin@gmail. | |com --- Comment #1 from John Colvin <john.loughran.col...@gmail.com> --- Shouldn't that be: static assert(is(typeof(a) == A!(T, x), T, T x)); ? It still fails though :( Workaround: static assert(is(typeof(a) == A!(T, x), T, alias x)); --