the case that the declared type is a built-in-class, which happens for (declare (ftype function ...)).