You are viewing a plain text version of this content. The canonical link for it is here.
Posted to github@datafusion.apache.org by "HairstonE (via GitHub)" <gi...@apache.org> on 2026/05/23 16:30:38 UTC
[I] Placeholder datatype not inferred for `Expr::Comparison` (`ANY/ALL`) [datafusion]
HairstonE opened a new issue, #22475:
URL: https://github.com/apache/datafusion/issues/22475
### Describe the bug
Parameterized queries with placeholders on the LHS of `= ANY <subquery>`,
`<> ALL <subquery>` (and other quantified comparison operators) are not
inferred. For example,
`SELECT * FROM my_table WHERE $1 = ANY (SELECT A FROM my_table WHERE B > 3);`
`SELECT * FROM my_table WHERE $1 <> ALL (SELECT A FROM my_table WHERE B > 3);`
### To Reproduce
To reproduce `ANY`:
```fn infer_placeholder_set_comparison_any() {
// WHERE $1 = ANY (SELECT a FROM t) -- parallel to infer_placeholder_in_subquery
let subquery_field = Field::new("a", DataType::Int32, false);
let subquery_schema = Arc::new(
DFSchema::from_unqualified_fields(
vec![subquery_field].into(),
Default::default(),
)
.unwrap(),
);
let subquery = Subquery {
subquery: Arc::new(LogicalPlan::EmptyRelation(EmptyRelation {
produce_one_row: false,
schema: subquery_schema,
})),
outer_ref_columns: vec![],
spans: Spans::new(),
};
let set_cmp = Expr::SetComparison(SetComparison {
expr: Box::new(Expr::Placeholder(Placeholder {
id: "$1".to_string(),
field: None,
})),
subquery,
op: Operator::Eq,
quantifier: SetQuantifier::Any,
});
let outer_schema = DFSchema::empty();
let (inferred_expr, contains_placeholder) =
set_cmp.infer_placeholder_types(&outer_schema).unwrap();
assert!(contains_placeholder);
match inferred_expr {
Expr::SetComparison(sc) => match *sc.expr {
Expr::Placeholder(p) => {
let inferred = p.field.expect("placeholder field should be Int32");
assert_eq!(inferred.data_type(), &DataType::Int32);
assert!(inferred.is_nullable());
}
_ => panic!("Expected Placeholder expression in SetComparison"),
},
_ => panic!("Expected SetComparison expression"),
}
}
```
To reproduce `ALL`:
```fn infer_placeholder_set_comparison_all() {
// WHERE $1 <> ALL (SELECT a FROM t)
// ALL goes through the same `SetComparison` Expr variant as ANY;
// infer_placeholder_types has no SetComparison arm, so the
// placeholder type is left unset regardless of quantifier.
let subquery_field = Field::new("a", DataType::Int32, false);
let subquery_schema = Arc::new(
DFSchema::from_unqualified_fields(
vec![subquery_field].into(),
Default::default(),
)
.unwrap(),
);
let subquery = Subquery {
subquery: Arc::new(LogicalPlan::EmptyRelation(EmptyRelation {
produce_one_row: false,
schema: subquery_schema,
})),
outer_ref_columns: vec![],
spans: Spans::new(),
};
let set_cmp = Expr::SetComparison(SetComparison {
expr: Box::new(Expr::Placeholder(Placeholder {
id: "$1".to_string(),
field: None,
})),
subquery,
op: Operator::NotEq,
quantifier: SetQuantifier::All,
});
let outer_schema = DFSchema::empty();
let (inferred_expr, contains_placeholder) =
set_cmp.infer_placeholder_types(&outer_schema).unwrap();
assert!(contains_placeholder);
match inferred_expr {
Expr::SetComparison(sc) => {
assert_eq!(sc.quantifier, SetQuantifier::All);
match *sc.expr {
Expr::Placeholder(p) => {
let inferred =
p.field.expect("placeholder field should be Int32");
assert_eq!(inferred.data_type(), &DataType::Int32);
assert!(inferred.is_nullable());
}
_ => panic!("Expected Placeholder expression in SetComparison"),
}
}
_ => panic!("Expected SetComparison expression"),
}
}
```
```
---- infer_placeholder_set_comparison_any stdout ----
panicked at expr.rs:3991:44: placeholder field should be Int32
---- infer_placeholder_set_comparison_all stdout ----
panicked at expr.rs:4046:37: placeholder field should be Int32
```
### Expected behavior
Assertions should pass.
### Additional context
Issue was prompted by comments on this [PR](https://github.com/apache/datafusion/pull/22436)
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: github-unsubscribe@datafusion.apache.org.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: github-unsubscribe@datafusion.apache.org
For additional commands, e-mail: github-help@datafusion.apache.org
Re: [I] Placeholder datatype not inferred for `Expr::Comparison` (`ANY/ALL`) [datafusion]
Posted by "alamb (via GitHub)" <gi...@apache.org>.
alamb closed issue #22475: Placeholder datatype not inferred for `Expr::Comparison` (`ANY/ALL`)
URL: https://github.com/apache/datafusion/issues/22475
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: github-unsubscribe@datafusion.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: github-unsubscribe@datafusion.apache.org
For additional commands, e-mail: github-help@datafusion.apache.org
Re: [I] Placeholder datatype not inferred for `Expr::Comparison` (`ANY/ALL`) [datafusion]
Posted by "HairstonE (via GitHub)" <gi...@apache.org>.
HairstonE commented on issue #22475:
URL: https://github.com/apache/datafusion/issues/22475#issuecomment-4525943037
take
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: github-unsubscribe@datafusion.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: github-unsubscribe@datafusion.apache.org
For additional commands, e-mail: github-help@datafusion.apache.org