{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
    // We don't need to normalize this param-env or anything, since we're only
    //
    // instantiating it with free params, so no additional param-env normalization