code: func (s *propConstSolver) PropagateConstant(ctx sessionctx.Context, conditions []Expression) []Expression {
  	s.ctx = ctx
  	return s.solve(conditions)
  }
docs: // PropagateConstant propagate constant values of deterministic predicates in a condition.