1 files changed, 109 insertions, 0 deletions
diff --git a/tests/classes/type_hinting_004.phpt b/tests/classes/type_hinting_004.phpt
new file mode 100644
index 0000000000..9068909a82
--- /dev/null
+++ b/tests/classes/type_hinting_004.phpt
@@ -0,0 +1,109 @@
+--TEST--
+Ensure type hints are enforced for functions invoked as callbacks.
+--FILE--
+<?php
+  set_error_handler('myErrorHandler', E_RECOVERABLE_ERROR);
+  function myErrorHandler($errno, $errstr, $errfile, $errline) {
+      echo "$errno: $errstr - $errfile($errline)\n";
+      return true;
+  }
+  
+  echo "---> Type hints with callback function:\n";
+  class A  {  }
+  function f1(A $a)  {
+      echo "in f1;\n";
+  }
+  function f2(A $a = null)  {
+      echo "in f2;\n";
+  }
+  call_user_func('f1', 1);
+  call_user_func('f1', new A);
+  call_user_func('f2', 1);
+  call_user_func('f2');
+  call_user_func('f2', new A);
+  call_user_func('f2', null);
+  
+  
+  echo "\n\n---> Type hints with callback static method:\n";
+  class C {
+      static function f1(A $a) {
+          if (isset($this)) {
+              echo "in C::f1 (instance);\n";
+          } else {
+              echo "in C::f1 (static);\n";
+          }
+      }
+      static function f2(A $a = null) {
+          if (isset($this)) {
+              echo "in C::f2 (instance);\n";
+          } else {
+              echo "in C::f2 (static);\n";
+          }
+      }
+  }
+  call_user_func(array('C', 'f1'), 1);
+  call_user_func(array('C', 'f1'), new A);
+  call_user_func(array('C', 'f2'), 1);
+  call_user_func(array('C', 'f2'));
+  call_user_func(array('C', 'f2'), new A);
+  call_user_func(array('C', 'f2'), null);
+  
+  
+  echo "\n\n---> Type hints with callback instance method:\n";
+  class D {
+      function f1(A $a) {
+          if (isset($this)) {
+              echo "in C::f1 (instance);\n";
+          } else {
+              echo "in C::f1 (static);\n";
+          }
+      }
+      function f2(A $a = null) {
+          if (isset($this)) {
+              echo "in C::f2 (instance);\n";
+          } else {
+              echo "in C::f2 (static);\n";
+          }
+      }
+  }
+  $d = new D;
+  call_user_func(array($d, 'f1'), 1);
+  call_user_func(array($d, 'f1'), new A);
+  call_user_func(array($d, 'f2'), 1);
+  call_user_func(array($d, 'f2'));
+  call_user_func(array($d, 'f2'), new A);
+  call_user_func(array($d, 'f2'), null);
+  
+?>
+--EXPECTF--
+---> Type hints with callback function:
+4096: Argument 1 passed to f1() must be an instance of A, integer given%s(10)
+in f1;
+in f1;
+4096: Argument 1 passed to f2() must be an instance of A, integer given%s(13)
+in f2;
+in f2;
+in f2;
+in f2;
+
+
+---> Type hints with callback static method:
+4096: Argument 1 passed to C::f1() must be an instance of A, integer given%s(26)
+in C::f1 (static);
+in C::f1 (static);
+4096: Argument 1 passed to C::f2() must be an instance of A, integer given%s(33)
+in C::f2 (static);
+in C::f2 (static);
+in C::f2 (static);
+in C::f2 (static);
+
+
+---> Type hints with callback instance method:
+4096: Argument 1 passed to D::f1() must be an instance of A, integer given%s(51)
+in C::f1 (instance);
+in C::f1 (instance);
+4096: Argument 1 passed to D::f2() must be an instance of A, integer given%s(58)
+in C::f2 (instance);
+in C::f2 (instance);
+in C::f2 (instance);
+in C::f2 (instance);