{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
                // FIXME: We could probably compute the LUB if there is one.
                // region which cannot be mapped back to a universal.
                let scc = self.constraint_sccs.scc(vid);