{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//"}]}
            // Unify the (as yet unbound) type variable in the closure
        if infer_kind {
            // args with the kind we inferred.