rustc_middle::ty::sty::size_asserts