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