fn parse_structure<'a, Ty, C>(
    cx: &C,
    layout: TyAndLayout<'a, Ty>,
    data: Sdata,
    offset: Size
) -> Sdata
where Ty: TyAbiInterface<'a, C> + Copy, C: HasDataLayout,