{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"//"}]}
            // - we accept opaque types even if they have non-universal arguments
            // Very similar to `TypingMode::Analysis` with some notably differences:
            // - we do a structural lookup instead of semantically unifying regions