{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"assert_eq!(cx.type_kind(next_outer_ty),"}]}
                assert_eq!(cx.type_kind(next_outer_ty), TypeKind::Integer);
                // int2 >= int1, which means the shadow vector is large enough to store the gradient.