Better typing and type verification

test/cctest/compiler/test-changes-lowering.cc

Index: test/cctest/compiler/test-changes-lowering.cc
diff --git a/test/cctest/compiler/test-changes-lowering.cc b/test/cctest/compiler/test-changes-lowering.cc
index 78503e8c6d87e33a7fdcfcfcf9408e579947a617..50b5efa4b94bfeb32f52a146a75ffd58e86bfdad 100644
--- a/test/cctest/compiler/test-changes-lowering.cc
+++ b/test/cctest/compiler/test-changes-lowering.cc
@@ -10,7 +10,6 @@
 #include "src/compiler/pipeline.h"
 #include "src/compiler/simplified-lowering.h"
 #include "src/compiler/simplified-node-factory.h"
-#include "src/compiler/typer.h"
 #include "src/compiler/verifier.h"
 #include "src/execution.h"
 #include "src/parser.h"
@@ -29,12 +28,10 @@ class ChangesLoweringTester : public GraphBuilderTester<ReturnType> {
  public:
   explicit ChangesLoweringTester(MachineType p0 = kMachNone)
       : GraphBuilderTester<ReturnType>(p0),
-        typer(this->zone()),
-        jsgraph(this->graph(), this->common(), &typer),
+        jsgraph(this->graph(), this->common()),
         lowering(&jsgraph),
         function(Handle<JSFunction>::null()) {}
 
-  Typer typer;
   JSGraph jsgraph;
   SimplifiedLowering lowering;
   Handle<JSFunction> function;