fn is_multivariant_adt(ty: Ty<'_>) -> bool