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..44f23e4a5251ae5052e7921866261d9431d9c34f 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;
@@ -110,7 +107,7 @@ class ChangesLoweringTester : public GraphBuilderTester<ReturnType> {
     Node* end = this->graph()->NewNode(this->common()->End(), ret);
     this->graph()->SetEnd(end);
     this->lowering.LowerChange(change, this->start(), this->start());
-    Verifier::Run(this->graph());
+    Verifier::Run(this->graph(), Verifier::UNTYPED);
   }
 
   void BuildStoreAndLower(Operator* op, Operator* store_op, void* location) {
@@ -126,7 +123,7 @@ class ChangesLoweringTester : public GraphBuilderTester<ReturnType> {
     Node* end = this->graph()->NewNode(this->common()->End(), ret);
     this->graph()->SetEnd(end);
     this->lowering.LowerChange(change, this->start(), this->start());
-    Verifier::Run(this->graph());
+    Verifier::Run(this->graph(), Verifier::UNTYPED);
   }
 
   void BuildLoadAndLower(Operator* op, Operator* load_op, void* location) {
@@ -141,7 +138,7 @@ class ChangesLoweringTester : public GraphBuilderTester<ReturnType> {
     Node* end = this->graph()->NewNode(this->common()->End(), ret);
     this->graph()->SetEnd(end);
     this->lowering.LowerChange(change, this->start(), this->start());
-    Verifier::Run(this->graph());
+    Verifier::Run(this->graph(), Verifier::UNTYPED);
   }
 
   Factory* factory() { return this->isolate()->factory(); }