Revert of Merged: Squashed multiple commits.

src/compiler/typer.cc

Index: src/compiler/typer.cc
diff --git a/src/compiler/typer.cc b/src/compiler/typer.cc
index 80d8abd3c7a3d416488d9bde94b5d9d9fb9e73e0..ed1a04aa3b42632c7486defa186fb9e140754cf5 100644
--- a/src/compiler/typer.cc
+++ b/src/compiler/typer.cc
@@ -1804,7 +1804,8 @@
 }
 
 Type* Typer::Visitor::TypeCheckNumber(Node* node) {
-  return typer_->operation_typer_.CheckNumber(Operand(node, 0));
+  Type* arg = Operand(node, 0);
+  return Type::Intersect(arg, Type::Number(), zone());
 }
 
 Type* Typer::Visitor::TypeCheckReceiver(Node* node) {
@@ -1823,7 +1824,8 @@
 }
 
 Type* Typer::Visitor::TypeCheckFloat64Hole(Node* node) {
-  return typer_->operation_typer_.CheckFloat64Hole(Operand(node, 0));
+  Type* type = Operand(node, 0);
+  return type;
 }
 
 Type* Typer::Visitor::TypeCheckTaggedHole(Node* node) {