OK.  We needed it at one point, but we don't any more.  This is a function that we actually don't want to call polymorphically because we won't know how to allocate the `result` and this is generally (probably always) called in performance-sensitive code.