{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
        // The region does not contain any bound variables, so we don't need
    } else {
        // to do any instantiation.