On 8/4/2013 4:03 PM, Timon Gehr wrote: > On 08/05/2013 12:35 AM, Walter Bright wrote: >> On 8/4/2013 8:04 AM, Timon Gehr wrote: >>> Off the top of my head: >> >> If these are not in bugzilla, please add them. >> > > I have reported the unsoundness: > > http://d.puremagic.com/issues/show_bug.cgi?id=10758 > Please add all 4, not just the last one.