Static and top-level methods can be compile time constants.

lib/compiler/implementation/ssa/nodes.dart

Index: lib/compiler/implementation/ssa/nodes.dart
===================================================================
--- lib/compiler/implementation/ssa/nodes.dart	(revision 11378)
+++ lib/compiler/implementation/ssa/nodes.dart	(working copy)
@@ -162,6 +162,7 @@
     if (constant.isDouble()) return HType.DOUBLE;
     if (constant.isString()) return HType.STRING;
     if (constant.isList()) return HType.READABLE_ARRAY;
+    if (constant.isFunction()) return HType.UNKNOWN;

[kasperl, 2012/08/27 13:17:26]

I guess it could be represented as a HBoundType using the Function class, but
maybe this is fine for now.

     ObjectConstant objectConstant = constant;
     return new HBoundedType.exact(objectConstant.type);
   }