Closed
Description
Because of Manishearth/compiletest-rs#169, our compiletest suite ignores ICEs. That is quite worrying, hence I think it is worth tracking on our side until we have a fix landed here.
The cargo miri test still detects ICEs (and that's how I noticed), but that is not run in rustc, and anyway it has much smaller coverage.