diff --git a/tests/aot/type_decl/011.phpt b/tests/aot/type_decl/011.phpt
new file mode 100644
index 00000000..03cb8d02
--- /dev/null
+++ b/tests/aot/type_decl/011.phpt
@@ -0,0 +1,30 @@
+--TEST--
+Type Declarations
+--FILE--
+<?php
+class Foo1 {
+    public function run() {
+        var_dump(__METHOD__);
+    }
+}
+
+class Foo2 {
+    public function run() {
+        var_dump(__METHOD__);
+    }
+}
+
+function main() {
+    $rand = random_int(0, 10000);
+    if ($rand % 2) {
+        $o = any(new Foo1());
+    } else {
+        $o = any(new Foo2());
+    }
+    if (method_exists($o, 'run')) {
+        $o->run();
+    }
+}
+?>
+--EXPECTF--
+string(9) "Foo%d::run"
\ No newline at end of file