{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"origin,"}]}
                        origin, node_idx, lower_bound.region, upper_bound.region
                         sup: {:?}",
                    );