Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Introduce tipb_helper #4634

Merged
merged 7 commits into from May 8, 2019

Rename to push_child to be more clear

Signed-off-by: Breezewish <breezewish@pingcap.com>
  • Loading branch information...
breeswish committed May 7, 2019
commit 4b7c1d69a0b80816a2d5c9ea14e31467ce11e708
@@ -79,7 +79,7 @@ impl ExprDefinitionBuilder {
Self(expr)
}

pub fn push(mut self, child: impl Into<Expr>) -> Self {
pub fn push_child(mut self, child: impl Into<Expr>) -> Self {
self.0.mut_children().push(child.into());
self
}
ProTip! Use n and p to navigate between commits in a pull request.
You can’t perform that action at this time.