{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"//"}]}
        // region/type inference variables.
        // Then the `generalized_ty` would be `&'?2 ?3`, where `'?2` and `?3` are fresh
        //