Unrevert^2 "Derive synthetic type bounds for expressions""

src/typing.h

Index: src/typing.h
diff --git a/src/typing.h b/src/typing.h
index 2d3fac0650959cb9f6ac719b3973456510702b69..b37a0cba894242bf85ce7ec9b4a22c443a2f406a 100644
--- a/src/typing.h
+++ b/src/typing.h
@@ -68,6 +68,12 @@ class AstTyper: public AstVisitor {
   void MergeUpperType(Expression* e, Handle<Type> t) {
     e->set_upper_type(handle(Type::Intersect(e->upper_type(), t), isolate_));
   }
+  void MergeLowerType(Expression* e, Type* t) {
+    MergeLowerType(e, handle(t, isolate_));
+  }
+  void MergeUpperType(Expression* e, Type* t) {
+    MergeUpperType(e, handle(t, isolate_));
+  }
 
   void VisitDeclarations(ZoneList<Declaration*>* declarations);
   void VisitStatements(ZoneList<Statement*>* statements);