{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"then_val.get_type().unqualified().dyncast_vector().expect(\"vector"}]}
                then_val.get_type().unqualified().dyncast_vector().expect("vector type");
            let then_val_vector_type =
            let then_val_element_type = then_val_vector_type.get_element_type();