fn is_single_fp_element<'a, Ty, C>(cx: &C, layout: TyAndLayout<'a, Ty>) -> bool where
    Ty: TyAbiInterface<'a, C> + Copy,
    C: HasDataLayout,