Bug 2303 – static assert in a template function is not reported

I wasn't able to reduce this further. Must be related to 2227 T foo(T : S!(U), U)(invariant(U) u) { T s; bar!(T)(s, u); return s; } void bar(T : S!(U), U)(T s, invariant(U) u) { static assert(false, "Error!"); // compiles if this line is commented out } void main() { foo!(S!(int))(1); } ---- : template Test.bar(T) does not match any function template declaration : template Test.bar(T) cannot deduce template function from argument types !(S!(int))(S!(int),invariant(int)) : template instance Test.foo!(S!(int),int) error instantiating This should report the static assert message, preferably with template instantiation trace.

A corrected example: ---- struct S(T) { } void foo(T : S!(U), U)(invariant(U) u) { T s; bar!(T)(s, u); } void bar(T : S!(U), U)(T s, invariant(U) u) { static assert(false, "Error!"); } void main() { foo!(S!(int))(1); } ---- Works as expected if invariant type modifiers are omitted.

The second, corrected example produces the following when compiled with 2.018, both with and without the invariant type modifiers: test.d(13): static assert "Error!" which appears to be correct.

My apologies. This bug disappeared at some point after dmd 2.015