{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//"}]}
        // only deduced that a param in the closure signature is late-bound from a constraint
        // We extract the bound vars from the deduced closure signature, since we may have
        // that we discover during typeck.