In https://github.com/eclipse-jdt/eclipse.jdt.core/issues/4039#issuecomment-2905790112 I claimed that expression types in ConstraintExpressionFormula should probably be captured.
In #4039 (comment) I claimed that expression types in ConstraintExpressionFormula should probably be captured.