Better typing and type verification

test/compiler-unittests/change-lowering-unittest.cc

Index: test/compiler-unittests/change-lowering-unittest.cc
diff --git a/test/compiler-unittests/change-lowering-unittest.cc b/test/compiler-unittests/change-lowering-unittest.cc
index 00a9160b8760a37b587816c10aa68eda0ffe4564..32326b0f33892386abe31a236e1da85166b1122e 100644
--- a/test/compiler-unittests/change-lowering-unittest.cc
+++ b/test/compiler-unittests/change-lowering-unittest.cc
@@ -6,7 +6,6 @@
 #include "src/compiler/js-graph.h"
 #include "src/compiler/node-properties-inl.h"
 #include "src/compiler/simplified-operator.h"
-#include "src/compiler/typer.h"
 #include "test/compiler-unittests/graph-unittest.h"
 #include "testing/gmock-support.h"
 
@@ -84,8 +83,7 @@ class ChangeLoweringTest : public GraphTest {
   }
 
   Reduction Reduce(Node* node) {
-    Typer typer(zone());
-    JSGraph jsgraph(graph(), common(), &typer);
+    JSGraph jsgraph(graph(), common());
     CompilationInfo info(isolate(), zone());
     Linkage linkage(&info);
     MachineOperatorBuilder machine(zone(), WordRepresentation());