fn field_ty_or_layout<'tcx>(
    this: TyAndLayout<'tcx>,
    cx: &impl HasTyCtxt<'tcx> + HasParamEnv<'tcx>,
    i: usize
) -> TyMaybeWithLayout<'tcx>