{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":")"}]}
    ) -> ProofTreeBuilder<D> {
        var_values: ty::CanonicalVarValues<I>,
        self.nested(|| WipCanonicalGoalEvaluationStep {