Hm, also, https://github.com/mozilla/rust/issues/10703 probably means it's too early to remove them now, as it will allow people to write invalid/unsafe/crashing code.