refactor(frontend): remove FunctionCall::new_with_return_type
that bypass infer_type
#2047
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
What's changed and what's your intention?
infer_type
returnsErr
rather thanNone
so that callers do not need to construct errors with repeatedly.FunctionCall
now has 3 constructors:new
should be used in most cases. Return type is inferred.new_cast
dedicates to create cast expression, which needs the "return_type" as input argument.new_unchecked
constructs the struct directly bypassing type inference. Mainly for internal expr rewriting where inferring again is less desirable.To handle in later PR:
CASE
andIN
should be handled byFunctionCall::new
rather thannew_unchecked
.Checklist
- [ ] I have added necessary unit tests and integration tests(Refactor does not break existing tests.)Refer to a related PR or issue link (optional)