Function ty_variant 

fn ty_variant<'tcx>(
    cx: LayoutCx<'tcx>,
    (ty, layout): (Ty<'tcx>, Layout<'tcx>),
    i: VariantIdx,
) -> Layout<'tcx>