{"ast_node_type":"variable","tokens":[{"end":80,"kind":"keyword","start":0,"text":"let"}]}
        let goal_kind = goal_kind_ty.expect_ty().to_opt_closure_kind().unwrap();
        };
        if closure_kind.extends(goal_kind) {