Module rustc_middle::ty::size_asserts