Calls to HCheckFunction can be eliminated if the value is an HConstant.

src/objects.cc

Index: src/objects.cc
diff --git a/src/objects.cc b/src/objects.cc
index 7b06b8732ad03928d97d3dfcf16483b7633a39c5..0c31df35e39713ff965bd6070d89453536345a5d 100644
--- a/src/objects.cc
+++ b/src/objects.cc
@@ -15899,7 +15899,8 @@ Type* PropertyCell::UpdateType(Handle<PropertyCell> cell,
                                Handle<Object> value) {
   Isolate* isolate = cell->GetIsolate();
   Handle<Type> old_type(cell->type(), isolate);
-  Handle<Type> new_type((value->IsSmi() || value->IsUndefined())
+  Handle<Type> new_type((value->IsSmi() || value->IsJSFunction() ||
+                         value->IsUndefined())
                         ? Type::Constant(value, isolate)
                         : Type::Any(), isolate);