Better typing and type verification

test/cctest/compiler/test-js-context-specialization.cc

Index: test/cctest/compiler/test-js-context-specialization.cc
diff --git a/test/cctest/compiler/test-js-context-specialization.cc b/test/cctest/compiler/test-js-context-specialization.cc
index 740d9f3d497350c78e14bf83388b4a85df7d41a7..f6881962d68e66c916882045bc8a5dfe4356e4fa 100644
--- a/test/cctest/compiler/test-js-context-specialization.cc
+++ b/test/cctest/compiler/test-js-context-specialization.cc
@@ -8,7 +8,6 @@
 #include "src/compiler/node-properties-inl.h"
 #include "src/compiler/simplified-node-factory.h"
 #include "src/compiler/source-position.h"
-#include "src/compiler/typer.h"
 #include "test/cctest/cctest.h"
 #include "test/cctest/compiler/function-tester.h"
 #include "test/cctest/compiler/graph-builder-tester.h"
@@ -26,8 +25,7 @@ class ContextSpecializationTester
         common_(main_zone()),
         javascript_(main_zone()),
         simplified_(main_zone()),
-        typer_(main_zone()),
-        jsgraph_(graph(), common(), &typer_),
+        jsgraph_(graph(), common()),
         info_(main_isolate(), main_zone()) {}
 
   Factory* factory() { return main_isolate()->factory(); }
@@ -41,7 +39,6 @@ class ContextSpecializationTester
   CommonOperatorBuilder common_;
   JSOperatorBuilder javascript_;
   SimplifiedOperatorBuilder simplified_;
-  Typer typer_;
   JSGraph jsgraph_;
   CompilationInfo info_;
 };