Attempted in #1750, but caused #1769.
Activity
tedhorst commentedon Feb 7, 2012
http://support.microsoft.com/kb/960246
not sure if thats relevant here
brson commentedon Feb 11, 2012
Fixed by tedhorst
Fix Kani crash with const-generic `[e; N]` expression (rust-lang#1770)