[turbofan] escape analysis supports arguments object and rest elements

src/compiler/typer.cc

Index: src/compiler/typer.cc
diff --git a/src/compiler/typer.cc b/src/compiler/typer.cc
index b585336a3f52cb1ea04b552b6e08711f657afdf3..75e628326b16435eb113821bcd4bf64538ce8d3f 100644
--- a/src/compiler/typer.cc
+++ b/src/compiler/typer.cc
@@ -837,7 +837,7 @@ Type* Typer::Visitor::TypeTypedStateValues(Node* node) {
   return Type::Internal();
 }
 
-Type* Typer::Visitor::TypeArgumentsObjectState(Node* node) {
+Type* Typer::Visitor::TypeArgumentsElementsState(Node* node) {
   return Type::Internal();
 }
 
@@ -1952,11 +1952,15 @@ Type* Typer::Visitor::TypeObjectIsUndetectable(Node* node) {
   return TypeUnaryOp(node, ObjectIsUndetectable);
 }
 
-Type* Typer::Visitor::TypeNewUnmappedArgumentsElements(Node* node) {
-  return Type::OtherInternal();
+Type* Typer::Visitor::TypeArgumentsLength(Node* node) {
+  return TypeCache::Get().kArgumentsLengthType;
+}
+
+Type* Typer::Visitor::TypeArgumentsFrame(Node* node) {
+  return Type::ExternalPointer();
 }
 
-Type* Typer::Visitor::TypeNewRestParameterElements(Node* node) {
+Type* Typer::Visitor::TypeNewUnmappedArgumentsElements(Node* node) {
   return Type::OtherInternal();
 }