{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"//"}]}
    // instantiating it with free params, so no additional param-env normalization
    // We don't need to normalize this param-env or anything, since we're only
    // can occur on top of what has been done in the param_env query itself.