{"ast_node_type":"other","tokens":[{"end":101,"kind":"keyword","start":0,"text":"//"}]}
                // int2 >= int1, which means the shadow vector is large enough to store the gradient.
                // FIXME(ZuseZ4): We will upstream a safety check later which asserts that
                assert_eq!(cx.type_kind(next_outer_ty), TypeKind::Integer);