fn maybe_zst(ty: Ty<'_>) -> bool
A cheap, approximate check to avoid unnecessary layout_of calls.
layout_of