{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
            // Check that all opaque types have the same region parameters if they have the same
            // non-region parameters. This is necessary because within the new solver we perform