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