有些情况下，typechecker会报错，但程序会在HHVM中运行良好。

<?hh

namespace Hack\UserDocumentation\Types\Runtime\Examples\Runs;

// Even though we specify that the function is void, HHVM will still allow
// us to return an int with no problem.
function foo(int $x): void {
  return $x * 2;
}

var_dump(foo(2));

Output

int(4)

但是，在HHVM中有一些支持运行时类型检查，但是它的执行目前是有限的。

• HHVM忽略属性注释。
• HHVM支持参数和返回类型注释; 一般来说，如果您违反协议，将会引发可疑的致命错误。但是有例外：

1. void在运行时不执行; 即，您可以void在运行时从函数返回值
2. Generics被强制执行，就好像它们没有类型参数一样。
3. 形状和元组只能像它们一样被执行array()。每个的内部类型不被强制执行。
4. Enums仅在基础类型级别执行。HHVM不检查有效的枚举值。
5. 如果在注释之前指定了软式提Enums示运算符@，则在可能发生致命的情况下将会抛出警告。