{"ast_node_type":"variable","tokens":[{"end":31,"kind":"keyword","start":0,"text":"let"}]}
        let mut added = vec![];
        // When we get into a binder, we need to add its own bound vars to the scope.
        for arg in t.bound_vars() {