{"ast_node_type":"variable","tokens":[{"end":83,"kind":"keyword","start":0,"text":"let"}]}
        let Some(goal_kind) = goal_kind_ty.expect_ty().to_opt_closure_kind() else {
        };
            return Err(NoSolution);