Fix self inheritance type checks for traits

Fixes GH-18295

Author: iluuu1994

Zend/tests/traits/bug78776.phpt

@@ -25,4 +25,4 @@ B::createApp();
 
 ?>
 --EXPECTF--
-Fatal error: Cannot make non static method A::createApp() static in class C in %s on line %d
+Fatal error: Cannot make non static method A::createApp() static in class B in %s on line %d

Zend/tests/traits/bug81192.phpt

@@ -17,4 +17,4 @@ class B extends A {
 
 ?>
 --EXPECTF--
-Fatal error: Declaration of T::foo(): string must be compatible with A::foo(): int in %sbug81192_trait.inc on line 4
+Fatal error: Declaration of B::foo(): string must be compatible with A::foo(): int in %sbug81192_trait.inc on line 4

Zend/tests/traits/bugs/abstract-methods05.phpt

@@ -22,4 +22,4 @@ class TraitsTest1 {
 
 ?>
 --EXPECTF--
-Fatal error: Declaration of THelloB::hello() must be compatible with THelloA::hello($a) in %s on line %d
+Fatal error: Declaration of TraitsTest1::hello() must be compatible with THelloA::hello($a) in %s on line %d

Zend/tests/traits/bugs/abstract-methods06.phpt

@@ -23,4 +23,4 @@ class TraitsTest1 {
 
 ?>
 --EXPECTF--
-Fatal error: Declaration of THelloB::hello() must be compatible with THelloA::hello($a) in %s on line %d
+Fatal error: Declaration of TraitsTest1::hello() must be compatible with THelloA::hello($a) in %s on line %d

Zend/tests/traits/gh18295.phpt

@@ -0,0 +1,21 @@
+--TEST--
+GH-18295: Parent self is substitutable with child self through trait
+--FILE--
+<?php
+
+class A {
+    public function create(): ?A {}
+}
+
+trait T {
+    public function create(): self {}
+}
+
+class B extends A {
+    use T;
+}
+
+?>
+===DONE===
+--EXPECT--
+===DONE===

Zend/tests/traits/inheritance003.phpt

@@ -35,4 +35,4 @@ $o->sayHello(array());
 --EXPECTF--
 World!
 
-Fatal error: Declaration of SayWorld::sayHello(Base $d) must be compatible with Base::sayHello(array $a) in %s on line %d
+Fatal error: Declaration of MyHelloWorld::sayHello(Base $d) must be compatible with Base::sayHello(array $a) in %s on line %d

Zend/zend_inheritance.c

@@ -3608,6 +3608,11 @@ ZEND_API zend_class_entry *zend_do_link_class(zend_class_entry *ce, zend_string
 			zend_do_traits_method_binding(ce, traits_and_interfaces, trait_exclude_tables, trait_aliases, false, &trait_contains_abstract_methods);
 			zend_do_traits_constant_binding(ce, traits_and_interfaces);
 			zend_do_traits_property_binding(ce, traits_and_interfaces);
+
+			zend_function *fn;
+			ZEND_HASH_MAP_FOREACH_PTR(&ce->function_table, fn) {
+				zend_fixup_trait_method(fn, ce);
+			} ZEND_HASH_FOREACH_END();
 		}
 		if (parent) {
 			if (!(parent->ce_flags & ZEND_ACC_LINKED)) {