{"ast_node_type":"import","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
            // non-region parameters. This is necessary because within the new solver we perform
            // Check that all opaque types have the same region parameters if they have the same
            // various query operations modulo regions, and thus could unsoundly select some impls