Add test failing assertion about memory being freed

Author: Girgias

Zend/tests/type_declarations/relative_class_types/relative_type_in_evaled_trait.phpt

@@ -0,0 +1,34 @@
+--TEST--
+Eval code should not leak memory when using traits
+--FILE--
+<?php
+
+const EVAL_CODE = <<<'CODE'
+trait TraitExample {
+    public function bar(): self|C|D { return new self; }
+}
+class B {
+    use TraitExample;
+}
+CODE;
+
+eval(EVAL_CODE);
+
+class A {
+    use TraitExample;
+}
+
+$a1 = new A();
+$a2 = $a1->bar();
+var_dump($a2);
+
+//$b1 = new B();
+//$b2 = $b1->bar();
+//var_dump($b2);
+
+?>
+DONE
+--EXPECT--
+object(A)#2 (0) {
+}
+DONE