{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
                                        // If this empty region is from a universe that can name
                                    match cur_region.kind() {
                                        // the placeholder universe, then the LUB is the