{"ast_node_type":"variable","tokens":[{"end":38,"kind":"keyword","start":0,"text":"let"}]}
            let then_val_vector_type =
            // TODO(antoyo): dyncast_vector should not require a call to unqualified.
                then_val.get_type().unqualified().dyncast_vector().expect("vector type");