{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//"}]}
            // error. This gives better error messages in some cases.
            // Note: in this case, we use the unapproximated regions to report the
            self.try_propagate_universal_region_error(