Bug 2679 – Spurious "warning - " messages and erratic behaviour with is(typeof({void function}()))

The following code outputs a "warning - " message during compilation: template implicitlyConverts(S, T) { enum bool implicitlyConverts = T.sizeof >= S.sizeof && is(typeof({S s; T t = s;}())); } static assert(!implicitlyConverts!(long, short)); void main() { }

There's something really fishy going on here. ---------- C:\Users\Stewart\Documents\Programming\D\Tests\bugs>type bz2679a.d bool valid = is(typeof({long s; short t = s;}())); C:\Users\Stewart\Documents\Programming\D\Tests\bugs>dmd -c bz2679a.d C:\Users\Stewart\Documents\Programming\D\Tests\bugs>dmd -w -c bz2679a.d warning - C:\Users\Stewart\Documents\Programming\D\Tests\bugs>type bz2679b.d static assert (is(typeof({long s; short t = s;}()))); C:\Users\Stewart\Documents\Programming\D\Tests\bugs>dmd -c bz2679b.d C:\Users\Stewart\Documents\Programming\D\Tests\bugs>dmd -w -c bz2679b.d warning - bz2679b.d(1): static assert is false C:\Users\Stewart\Documents\Programming\D\Tests\bugs>type bz2679c.d static assert (!is(typeof({long s; short t = s;}()))); C:\Users\Stewart\Documents\Programming\D\Tests\bugs>dmd -c bz2679c.d bz2679c.d(1): static assert is false C:\Users\Stewart\Documents\Programming\D\Tests\bugs>dmd -w -c bz2679c.d warning - C:\Users\Stewart\Documents\Programming\D\Tests\bugs>type bz2679d.d pragma(msg, typeof({long s; short t = s;}()).stringof); C:\Users\Stewart\Documents\Programming\D\Tests\bugs>dmd -c bz2679d.d void C:\Users\Stewart\Documents\Programming\D\Tests\bugs>dmd -w -c bz2679d.d warning - bz2679d.d(1): Error: implicit conversion of expression (s) of type lon g to short can cause loss of data void ---------- Not only is it spitting out that message, but the diagnosed validity of the expression inside the typeof seems to depend on a few things. Really, the expression is valid, but when warnings are enabled it gets mixed up. Tested on both 1.040 and 2.025 (Windows) with same effect.

Fixed dmd 1.041 and 2.026