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