{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"min_universe,"}]}
                        min_universe,
                        origin,
                        upper_bound.origin.clone(),