1use crate::{detect_content, detect_extension, CanonicalValue, Format, SqlDialect};
30use serde_json::Number;
31use sqlparser::ast::{
32 BinaryOperator, Expr, FunctionArg, FunctionArgExpr, FunctionArguments, GroupByExpr,
33 JoinConstraint, JoinOperator, LimitClause, ObjectNamePart, OrderByExpr, OrderByKind, Query,
34 SelectItem, SetExpr, Statement, TableFactor, TableWithJoins, Value, ValueWithSpan,
35};
36use sqlparser::dialect::GenericDialect;
37use sqlparser::parser::Parser;
38use std::cmp::Ordering;
39use std::collections::{HashMap, HashSet};
40use std::error::Error;
41use std::path::{Path, PathBuf};
42
43type Row = Vec<(String, CanonicalValue)>;
44
45pub fn run(sql: &str, base_dir: &Path) -> Result<CanonicalValue, Box<dyn Error>> {
83 let stmts = Parser::parse_sql(&GenericDialect {}, sql)?;
84 let stmt = stmts.into_iter().next().ok_or("empty SQL")?;
85 match stmt {
86 Statement::Query(q) => execute_query(*q, base_dir),
87 _ => Err("only SELECT statements are supported".into()),
88 }
89}
90
91fn execute_query(query: Query, base_dir: &Path) -> Result<CanonicalValue, Box<dyn Error>> {
92 let body = (*query.body).clone();
93 let select = match body {
94 SetExpr::Select(s) => *s,
95 _ => return Err("only simple SELECT is supported".into()),
96 };
97
98 let mut rows = load_from(&select.from, base_dir)?;
99
100 if let Some(pred) = &select.selection {
101 let mut kept = Vec::new();
102 for row in rows {
103 if matches!(eval(pred.clone(), &row), Ok(CanonicalValue::Bool(true))) {
104 kept.push(row);
105 }
106 }
107 rows = kept;
108 }
109
110 let has_agg = select.projection.iter().any(|item| match item {
111 SelectItem::UnnamedExpr(e) | SelectItem::ExprWithAlias { expr: e, .. } => {
112 contains_aggregate(e)
113 }
114 _ => false,
115 });
116 let group_by = extract_group_by(&select.group_by);
117
118 let mut out_rows = if !group_by.is_empty() || has_agg {
119 aggregate(rows, &select.projection, &group_by, &select.having)?
120 } else {
121 project(rows, &select.projection)?
122 };
123
124 if select.distinct.is_some() {
125 let mut seen: HashSet<String> = HashSet::new();
126 out_rows.retain(|r| {
127 let key = r
128 .iter()
129 .map(|(_, v)| format!("{v:?}"))
130 .collect::<Vec<_>>()
131 .join("\x1f");
132 seen.insert(key)
133 });
134 }
135
136 if let Some(order) = &query.order_by {
137 if let OrderByKind::Expressions(exprs) = &order.kind {
138 sort_rows(&mut out_rows, exprs)?;
139 }
140 }
141
142 if let Some(lc) = &query.limit_clause {
143 if let Some(limit_expr) = extract_limit_expr(lc) {
144 if let Ok(CanonicalValue::Number(n)) = eval(limit_expr, &Vec::new()) {
145 if let Some(limit) = n.as_u64() {
146 out_rows.truncate(limit as usize);
147 }
148 }
149 }
150 }
151
152 Ok(CanonicalValue::Array(
153 out_rows.into_iter().map(CanonicalValue::Object).collect(),
154 ))
155}
156
157fn extract_group_by(g: &GroupByExpr) -> Vec<Expr> {
158 match g {
159 GroupByExpr::Expressions(exprs, _) => exprs.clone(),
160 _ => Vec::new(),
161 }
162}
163
164fn load_from(from: &[TableWithJoins], base_dir: &Path) -> Result<Vec<Row>, Box<dyn Error>> {
165 if from.is_empty() {
166 return Err("FROM is required".into());
167 }
168 let mut rows = load_table_with_joins(&from[0], base_dir)?;
169 for extra in &from[1..] {
170 let more = load_table_with_joins(extra, base_dir)?;
171 let mut crossed = Vec::new();
172 for a in &rows {
173 for b in &more {
174 let mut combined = a.clone();
175 combined.extend(b.clone());
176 crossed.push(combined);
177 }
178 }
179 rows = crossed;
180 }
181 Ok(rows)
182}
183
184fn load_table_with_joins(t: &TableWithJoins, base_dir: &Path) -> Result<Vec<Row>, Box<dyn Error>> {
185 let mut rows = load_factor(&t.relation, base_dir)?;
186 for join in &t.joins {
187 let right = load_factor(&join.relation, base_dir)?;
188 rows = apply_join(rows, right, &join.join_operator)?;
189 }
190 Ok(rows)
191}
192
193fn load_factor(factor: &TableFactor, base_dir: &Path) -> Result<Vec<Row>, Box<dyn Error>> {
194 let (name, alias) = match factor {
195 TableFactor::Table { name, alias, .. } => (name, alias),
196 _ => return Err("only table references are supported in FROM".into()),
197 };
198
199 let raw = name
200 .0
201 .iter()
202 .filter_map(|p| match p {
203 ObjectNamePart::Identifier(i) => Some(i.value.clone()),
204 _ => None,
205 })
206 .collect::<Vec<_>>()
207 .join(".");
208
209 let alias_name = alias
210 .as_ref()
211 .map(|a| a.name.value.clone())
212 .unwrap_or_else(|| {
213 Path::new(&raw)
214 .file_stem()
215 .and_then(|s| s.to_str())
216 .unwrap_or(&raw)
217 .to_string()
218 });
219
220 let mut all_rows = Vec::new();
221 if is_glob(&raw) {
222 let pattern = resolve_path(&raw, base_dir).to_string_lossy().to_string();
223 let entries = glob::glob(&pattern).map_err(|e| format!("invalid glob {pattern}: {e}"))?;
224 for entry in entries {
225 let p = entry?;
226 let mut r = load_file(&p)?;
227 all_rows.append(&mut r);
228 }
229 } else {
230 all_rows = load_file(&resolve_path(&raw, base_dir))?;
231 }
232
233 Ok(all_rows
234 .into_iter()
235 .map(|row| {
236 row.into_iter()
237 .map(|(k, v)| (format!("{alias_name}.{k}"), v))
238 .collect()
239 })
240 .collect())
241}
242
243fn is_glob(s: &str) -> bool {
244 s.contains('*') || s.contains('?') || s.contains('[')
245}
246
247fn resolve_path(raw: &str, base_dir: &Path) -> PathBuf {
248 let candidate = base_dir.join(raw);
249 if candidate.exists() || is_glob(raw) || Path::new(raw).is_absolute() {
250 return candidate;
251 }
252 let parts: Vec<&str> = raw.split('.').collect();
253 if parts.len() > 2 {
254 let prefix = parts[..parts.len() - 2].join("/");
255 let suffix = parts[parts.len() - 2..].join(".");
256 let slashed = base_dir.join(format!("{prefix}/{suffix}"));
257 if slashed.exists() {
258 return slashed;
259 }
260 }
261 candidate
262}
263
264fn load_file(path: &Path) -> Result<Vec<Row>, Box<dyn Error>> {
265 let bytes = std::fs::read(path)?;
266 let fmt = match detect_extension(path) {
267 Some(f) => f,
268 None => detect_content(&bytes)?,
269 };
270 let value = decode(fmt, &bytes)?;
271 match value {
272 CanonicalValue::Array(rows) => Ok(rows
273 .into_iter()
274 .filter_map(|r| match r {
275 CanonicalValue::Object(o) => Some(o),
276 _ => None,
277 })
278 .collect()),
279 _ => Err(format!("{} did not produce a table", path.display()).into()),
280 }
281}
282
283fn decode(fmt: Format, bytes: &[u8]) -> Result<CanonicalValue, Box<dyn Error>> {
284 let text = || -> Result<&str, Box<dyn Error>> { Ok(std::str::from_utf8(bytes)?) };
285 match fmt {
286 Format::Csv => CanonicalValue::from_csv(text()?),
287 Format::Tsv => CanonicalValue::from_tsv(text()?),
288 Format::Json => CanonicalValue::from_json(text()?),
289 Format::Ndjson => CanonicalValue::from_ndjson(text()?),
290 Format::Yaml => CanonicalValue::from_yaml(text()?),
291 Format::Xml => CanonicalValue::from_xml(text()?),
292 Format::Toml => CanonicalValue::from_toml(text()?),
293 Format::Xlsx => {
294 let mut sheets = CanonicalValue::from_xlsx_workbook(bytes)?;
295 if sheets.len() == 1 {
296 return Ok(sheets.remove(0).1);
297 }
298 let mut headers: Vec<String> = Vec::new();
299 let mut raw_rows: Vec<Vec<(String, CanonicalValue)>> = Vec::new();
300 for (_name, sheet) in sheets {
301 if let CanonicalValue::Array(rows) = sheet {
302 for row in rows {
303 if let CanonicalValue::Object(obj) = row {
304 for (k, _) in &obj {
305 if !headers.contains(k) {
306 headers.push(k.clone());
307 }
308 }
309 raw_rows.push(obj);
310 }
311 }
312 }
313 }
314 let rows_out: Vec<CanonicalValue> = raw_rows
315 .into_iter()
316 .map(|obj| {
317 let row: Vec<(String, CanonicalValue)> = headers
318 .iter()
319 .map(|h| {
320 let v = obj
321 .iter()
322 .find(|(k, _)| k == h)
323 .map(|(_, v)| v.clone())
324 .unwrap_or(CanonicalValue::Null);
325 (h.clone(), v)
326 })
327 .collect();
328 CanonicalValue::Object(row)
329 })
330 .collect();
331 Ok(CanonicalValue::Array(rows_out))
332 }
333 Format::Ods => CanonicalValue::from_ods(bytes),
334 Format::Sql => {
335 let mut sheets = CanonicalValue::from_sql_workbook(text()?, SqlDialect::Generic)?;
336 if sheets.len() != 1 {
337 return Err("multi-table SQL requires a single table".into());
338 }
339 Ok(sheets.remove(0).1)
340 }
341 }
342}
343
344fn apply_join(
345 left: Vec<Row>,
346 right: Vec<Row>,
347 op: &JoinOperator,
348) -> Result<Vec<Row>, Box<dyn Error>> {
349 let (constraint, is_left) = match op {
350 JoinOperator::Inner(c) => (c, false),
351 JoinOperator::Join(c) => (c, false),
352 JoinOperator::LeftOuter(c) => (c, true),
353 other => return Err(format!("unsupported join variant: {other:?}").into()),
354 };
355 let on = match constraint {
356 JoinConstraint::On(e) => e.clone(),
357 _ => return Err("only JOIN ... ON is supported".into()),
358 };
359
360 let mut result = Vec::new();
361 for l in &left {
362 let mut matched = false;
363 for r in &right {
364 let mut combined = l.clone();
365 combined.extend(r.clone());
366 if matches!(eval(on.clone(), &combined), Ok(CanonicalValue::Bool(true))) {
367 result.push(combined);
368 matched = true;
369 }
370 }
371 if is_left && !matched {
372 result.push(l.clone());
373 }
374 }
375 Ok(result)
376}
377
378fn eval(expr: Expr, row: &Row) -> Result<CanonicalValue, Box<dyn Error>> {
379 match expr {
380 Expr::Identifier(i) => resolve_column(&i.value, row),
381 Expr::CompoundIdentifier(parts) => {
382 let name = parts
383 .iter()
384 .map(|p| p.value.clone())
385 .collect::<Vec<_>>()
386 .join(".");
387 resolve_column(&name, row)
388 }
389 Expr::Value(ValueWithSpan { value, .. }) => Ok(literal(value)),
390 Expr::BinaryOp { left, op, right } => {
391 let l = eval(*left, row)?;
392 let r = eval(*right, row)?;
393 binary_op(l, &op, r)
394 }
395 Expr::Nested(inner) => eval(*inner, row),
396 other => Err(format!("unsupported expression: {other:?}").into()),
397 }
398}
399
400fn resolve_column(name: &str, row: &Row) -> Result<CanonicalValue, Box<dyn Error>> {
401 if let Some((_, v)) = row.iter().find(|(k, _)| k == name) {
402 return Ok(v.clone());
403 }
404 let suffix = format!(".{name}");
405 if let Some((_, v)) = row.iter().find(|(k, _)| k.ends_with(&suffix)) {
406 return Ok(v.clone());
407 }
408 Err(format!("column {name} not found").into())
409}
410
411fn literal(v: Value) -> CanonicalValue {
412 match v {
413 Value::Number(n, _) => {
414 if let Ok(i) = n.parse::<i64>() {
415 CanonicalValue::Number(Number::from(i))
416 } else if let Ok(f) = n.parse::<f64>() {
417 Number::from_f64(f)
418 .map(CanonicalValue::Number)
419 .unwrap_or(CanonicalValue::Null)
420 } else {
421 CanonicalValue::String(n)
422 }
423 }
424 Value::SingleQuotedString(s) | Value::DoubleQuotedString(s) => CanonicalValue::String(s),
425 Value::Boolean(b) => CanonicalValue::Bool(b),
426 Value::Null => CanonicalValue::Null,
427 _ => CanonicalValue::Null,
428 }
429}
430
431fn binary_op(
432 l: CanonicalValue,
433 op: &BinaryOperator,
434 r: CanonicalValue,
435) -> Result<CanonicalValue, Box<dyn Error>> {
436 if matches!(l, CanonicalValue::Null) || matches!(r, CanonicalValue::Null) {
437 match op {
438 BinaryOperator::Eq
439 | BinaryOperator::NotEq
440 | BinaryOperator::Lt
441 | BinaryOperator::LtEq
442 | BinaryOperator::Gt
443 | BinaryOperator::GtEq => return Ok(CanonicalValue::Bool(false)),
444 _ => {}
445 }
446 }
447 let ord = || compare_values(&l, &r);
448 match op {
449 BinaryOperator::Eq => return Ok(CanonicalValue::Bool(ord() == Ordering::Equal)),
450 BinaryOperator::NotEq => return Ok(CanonicalValue::Bool(ord() != Ordering::Equal)),
451 BinaryOperator::Lt => return Ok(CanonicalValue::Bool(ord() == Ordering::Less)),
452 BinaryOperator::LtEq => return Ok(CanonicalValue::Bool(ord() != Ordering::Greater)),
453 BinaryOperator::Gt => return Ok(CanonicalValue::Bool(ord() == Ordering::Greater)),
454 BinaryOperator::GtEq => return Ok(CanonicalValue::Bool(ord() != Ordering::Less)),
455 BinaryOperator::And => {
456 let a = matches!(l, CanonicalValue::Bool(true));
457 let b = matches!(r, CanonicalValue::Bool(true));
458 return Ok(CanonicalValue::Bool(a && b));
459 }
460 BinaryOperator::Or => {
461 let a = matches!(l, CanonicalValue::Bool(true));
462 let b = matches!(r, CanonicalValue::Bool(true));
463 return Ok(CanonicalValue::Bool(a || b));
464 }
465 _ => {}
466 }
467 let a = to_f64(&l);
468 let b = to_f64(&r);
469 let result = match (a, b) {
470 (Some(a), Some(b)) => match op {
471 BinaryOperator::Plus => Some(a + b),
472 BinaryOperator::Minus => Some(a - b),
473 BinaryOperator::Multiply => Some(a * b),
474 BinaryOperator::Divide => Some(a / b),
475 _ => None,
476 },
477 _ => None,
478 };
479 match result {
480 Some(f) => Ok(num(f)),
481 None => Err(format!("cannot apply {op:?} to {l:?} and {r:?}").into()),
482 }
483}
484
485fn to_f64(v: &CanonicalValue) -> Option<f64> {
486 match v {
487 CanonicalValue::Number(n) => n.as_f64(),
488 CanonicalValue::String(s) => s.parse().ok(),
489 CanonicalValue::Bool(b) => Some(if *b { 1.0 } else { 0.0 }),
490 _ => None,
491 }
492}
493
494fn num(f: f64) -> CanonicalValue {
495 if f.is_finite() && f.fract() == 0.0 && f.abs() < i64::MAX as f64 {
496 CanonicalValue::Number(Number::from(f as i64))
497 } else {
498 Number::from_f64(f)
499 .map(CanonicalValue::Number)
500 .unwrap_or(CanonicalValue::Null)
501 }
502}
503
504fn project(rows: Vec<Row>, projection: &[SelectItem]) -> Result<Vec<Row>, Box<dyn Error>> {
505 let mut out = Vec::with_capacity(rows.len());
506 for row in rows {
507 let mut new_row = Vec::new();
508 for item in projection {
509 match item {
510 SelectItem::UnnamedExpr(expr) => {
511 let name = expr_name(expr);
512 new_row.push((name, eval(expr.clone(), &row)?));
513 }
514 SelectItem::ExprWithAlias { expr, alias } => {
515 new_row.push((alias.value.clone(), eval(expr.clone(), &row)?));
516 }
517 SelectItem::Wildcard(_) => {
518 for (k, v) in &row {
519 let name = k.rsplit('.').next().unwrap_or(k).to_string();
520 new_row.push((name, v.clone()));
521 }
522 }
523 SelectItem::QualifiedWildcard(name, _) => {
524 let prefix = format!("{name}.");
525 for (k, v) in &row {
526 if let Some(short) = k.strip_prefix(&prefix) {
527 new_row.push((short.to_string(), v.clone()));
528 }
529 }
530 }
531 SelectItem::ExprWithAliases { .. } => {
532 return Err("multi-alias SELECT not supported".into());
533 }
534 }
535 }
536 out.push(new_row);
537 }
538 Ok(out)
539}
540
541fn expr_name(expr: &Expr) -> String {
542 match expr {
543 Expr::Identifier(i) => i.value.clone(),
544 Expr::CompoundIdentifier(parts) => {
545 parts.last().map(|p| p.value.clone()).unwrap_or_default()
546 }
547 Expr::Function(f) => {
548 let fname = f.name.to_string().to_lowercase();
549 let arg = match &f.args {
550 FunctionArguments::List(l) => l
551 .args
552 .first()
553 .and_then(|a| match a {
554 FunctionArg::Unnamed(FunctionArgExpr::Expr(e)) => Some(expr_name(e)),
555 _ => None,
556 })
557 .unwrap_or_default(),
558 _ => String::new(),
559 };
560 format!("{fname}({arg})")
561 }
562 Expr::BinaryOp { left, op, right } => {
563 format!("{} {} {}", expr_name(left), op, expr_name(right))
564 }
565 Expr::Nested(inner) => expr_name(inner),
566 _ => "expr".to_string(),
567 }
568}
569
570fn aggregate(
571 rows: Vec<Row>,
572 projection: &[SelectItem],
573 group_by: &[Expr],
574 having: &Option<Expr>,
575) -> Result<Vec<Row>, Box<dyn Error>> {
576 let mut groups: HashMap<Vec<String>, Vec<Row>> = HashMap::new();
577 if group_by.is_empty() {
578 groups.insert(Vec::new(), rows);
579 } else {
580 for row in rows {
581 let mut key = Vec::new();
582 for g in group_by {
583 let v = eval(g.clone(), &row)?;
584 key.push(format!("{v:?}"));
585 }
586 groups.entry(key).or_default().push(row);
587 }
588 }
589
590 let mut out = Vec::new();
591 for group in groups.into_values() {
592 let mut new_row = Vec::new();
593 for item in projection {
594 match item {
595 SelectItem::UnnamedExpr(expr) => {
596 let name = expr_name(expr);
597 new_row.push((name, eval_aggregated(expr, &group)?));
598 }
599 SelectItem::ExprWithAlias { expr, alias } => {
600 new_row.push((alias.value.clone(), eval_aggregated(expr, &group)?));
601 }
602 _ => return Err("unsupported aggregate SELECT item".into()),
603 }
604 }
605 if let Some(h) = having {
606 if !matches!(eval(h.clone(), &new_row), Ok(CanonicalValue::Bool(true))) {
607 continue;
608 }
609 }
610 out.push(new_row);
611 }
612 Ok(out)
613}
614
615fn eval_aggregated(expr: &Expr, group: &[Row]) -> Result<CanonicalValue, Box<dyn Error>> {
616 if let Expr::Function(f) = expr {
617 let name = f.name.to_string().to_uppercase();
618 if matches!(name.as_str(), "SUM" | "AVG" | "MIN" | "MAX" | "COUNT") {
619 let arg = match &f.args {
620 FunctionArguments::List(l) => l.args.first().and_then(|a| match a {
621 FunctionArg::Unnamed(FunctionArgExpr::Expr(e)) => Some(e.clone()),
622 _ => None,
623 }),
624 _ => None,
625 };
626 return compute_aggregate(&name, arg, group);
627 }
628 }
629 if let Some(first) = group.first() {
630 return eval(expr.clone(), first);
631 }
632 Ok(CanonicalValue::Null)
633}
634
635fn compute_aggregate(
636 name: &str,
637 arg: Option<Expr>,
638 group: &[Row],
639) -> Result<CanonicalValue, Box<dyn Error>> {
640 let arg = match arg {
641 Some(a) => a,
642 None => {
643 return match name {
644 "COUNT" => Ok(CanonicalValue::Number(Number::from(group.len() as i64))),
645 _ => Err(format!("{name} requires an argument").into()),
646 };
647 }
648 };
649
650 let mut count = 0usize;
651 let mut sum = 0.0f64;
652 let mut best: Option<f64> = None;
653
654 for row in group {
655 if let Ok(v) = eval(arg.clone(), row) {
656 if let CanonicalValue::Null = v {
657 continue;
658 }
659 if let Some(f) = to_f64(&v) {
660 sum += f;
661 count += 1;
662 best = Some(match best {
663 None => f,
664 Some(b) => match name {
665 "MIN" => b.min(f),
666 "MAX" => b.max(f),
667 _ => b,
668 },
669 });
670 }
671 }
672 }
673
674 Ok(match name {
675 "SUM" => num(sum),
676 "AVG" => {
677 if count > 0 {
678 num(sum / count as f64)
679 } else {
680 CanonicalValue::Null
681 }
682 }
683 "COUNT" => CanonicalValue::Number(Number::from(count as i64)),
684 "MIN" | "MAX" => best.map(num).unwrap_or(CanonicalValue::Null),
685 _ => CanonicalValue::Null,
686 })
687}
688
689fn extract_limit_expr(lc: &LimitClause) -> Option<Expr> {
690 match lc {
691 LimitClause::LimitOffset { limit, .. } => limit.clone(),
692 LimitClause::OffsetCommaLimit { limit, .. } => Some(limit.clone()),
693 }
694}
695
696fn sort_rows(rows: &mut [Row], order_by: &[OrderByExpr]) -> Result<(), Box<dyn Error>> {
697 let keys: Vec<(Expr, bool)> = order_by
698 .iter()
699 .map(|o| (o.expr.clone(), o.options.asc.unwrap_or(true)))
700 .collect();
701 rows.sort_by(|a, b| {
702 for (expr, asc) in &keys {
703 let av = eval(expr.clone(), a).unwrap_or(CanonicalValue::Null);
704 let bv = eval(expr.clone(), b).unwrap_or(CanonicalValue::Null);
705 let ord = compare_values(&av, &bv);
706 let ord = if *asc { ord } else { ord.reverse() };
707 if ord != Ordering::Equal {
708 return ord;
709 }
710 }
711 Ordering::Equal
712 });
713 Ok(())
714}
715
716fn compare_values(a: &CanonicalValue, b: &CanonicalValue) -> Ordering {
717 match (a, b) {
718 (CanonicalValue::Null, CanonicalValue::Null) => Ordering::Equal,
719 (CanonicalValue::Null, _) => Ordering::Less,
720 (_, CanonicalValue::Null) => Ordering::Greater,
721 _ => {
722 if let (Some(x), Some(y)) = (to_f64(a), to_f64(b)) {
723 return x.partial_cmp(&y).unwrap_or(Ordering::Equal);
724 }
725 scalar_string(a).cmp(&scalar_string(b))
726 }
727 }
728}
729
730fn scalar_string(v: &CanonicalValue) -> String {
731 match v {
732 CanonicalValue::Null => String::new(),
733 CanonicalValue::Bool(b) => b.to_string(),
734 CanonicalValue::Number(n) => n.to_string(),
735 CanonicalValue::String(s) => s.clone(),
736 CanonicalValue::Bytes(b) => b.iter().map(|x| format!("{x:02x}")).collect(),
737 _ => String::new(),
738 }
739}
740
741fn contains_aggregate(expr: &Expr) -> bool {
742 match expr {
743 Expr::Function(f) => {
744 let name = f.name.to_string().to_uppercase();
745 matches!(name.as_str(), "SUM" | "AVG" | "MIN" | "MAX" | "COUNT")
746 }
747 Expr::BinaryOp { left, right, .. } => contains_aggregate(left) || contains_aggregate(right),
748 Expr::Nested(inner) => contains_aggregate(inner),
749 _ => false,
750 }
751}