diff --git a/examples/error/resource.php b/examples/error/resource.php
new file mode 100644
index 00000000..6e757278
--- /dev/null
+++ b/examples/error/resource.php
@@ -0,0 +1,11 @@
+<?php
+function foo(resource $res)
+{
+    var_dump($res);
+
+}
+function main()
+{
+    $stream = fopen("php://stdin", "r");
+    foo($stream);
+}