9de9786ef8
`assert_{inhabited,zero_valid,uninit_valid}` intrinsics are safe
Those intrinsics either panic or do nothing. They are safe.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.