| Index: src/typing.cc
|
| diff --git a/src/typing.cc b/src/typing.cc
|
| index 6157114c9bec4413b64fa9b3f2e18e4d08781843..e890333d135e36750a546cc61eac25e78ee60005 100644
|
| --- a/src/typing.cc
|
| +++ b/src/typing.cc
|
| @@ -432,13 +432,13 @@ void AstTyper::VisitBinaryOperation(BinaryOperation* expr) {
|
| CHECK_ALIVE(Visit(expr->right()));
|
|
|
| // Collect type feedback.
|
| - Handle<Type> left_type, right_type, result_type;
|
| + Handle<Type> type, left_type, right_type;
|
| Maybe<int> fixed_right_arg;
|
| oracle()->BinaryType(expr->BinaryOperationFeedbackId(),
|
| - &left_type, &right_type, &result_type, &fixed_right_arg);
|
| + &left_type, &right_type, &type, &fixed_right_arg);
|
| + MergeLowerType(expr, type);
|
| MergeLowerType(expr->left(), left_type);
|
| MergeLowerType(expr->right(), right_type);
|
| - expr->set_result_type(result_type);
|
| expr->set_fixed_right_arg(fixed_right_arg);
|
| if (expr->op() == Token::OR || expr->op() == Token::AND) {
|
| expr->left()->RecordToBooleanTypeFeedback(oracle());
|
|
|