{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"};"}]}
        };
            vector_ty(bx, underlying_ty, in_len)
        let elem_type = vector_type.dyncast_vector().expect("vector type").get_element_type();