Better typing and type verification

test/compiler-unittests/simplified-operator-reducer-unittest.cc

Index: test/compiler-unittests/simplified-operator-reducer-unittest.cc
diff --git a/test/compiler-unittests/simplified-operator-reducer-unittest.cc b/test/compiler-unittests/simplified-operator-reducer-unittest.cc
index 500e3061c7c747c088930b194a7578714219e7db..56500d8e240de7a61138f1567d3c04d6629ac35a 100644
--- a/test/compiler-unittests/simplified-operator-reducer-unittest.cc
+++ b/test/compiler-unittests/simplified-operator-reducer-unittest.cc
@@ -5,7 +5,6 @@
 #include "src/compiler/js-graph.h"
 #include "src/compiler/simplified-operator.h"
 #include "src/compiler/simplified-operator-reducer.h"
-#include "src/compiler/typer.h"
 #include "src/conversions.h"
 #include "test/compiler-unittests/graph-unittest.h"
 
@@ -21,9 +20,8 @@ class SimplifiedOperatorReducerTest : public GraphTest {
 
  protected:
   Reduction Reduce(Node* node) {
-    Typer typer(zone());
     MachineOperatorBuilder machine(zone());
-    JSGraph jsgraph(graph(), common(), &typer);
+    JSGraph jsgraph(graph(), common());
     SimplifiedOperatorReducer reducer(&jsgraph, &machine);
     return reducer.Reduce(node);
   }