{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":".dyncast_vector()"}]}
            .dyncast_vector()
            .unqualified()
            .expect("Called extract_element on a non-vector type");