Remove most of associated types

Author: Girgias

Zend/tests/type_declarations/associated/big_example.phpt renamed to Zend/tests/type_declarations/abstract_generics/big_example.phpt

@@ -7,11 +7,9 @@ Levi Morrison
 
 namespace Sequence;
 
-interface Sequence
+// No null. This is probably going to be painful, but let's try it.
+interface Sequence<Item : object|array|string|float|int|bool>
 {
-    // No null. This is probably going to be painful, but let's try it.
-    type Item: object|array|string|float|int|bool;
-
     function next(): ?Item;
 
     /**
@@ -29,7 +27,7 @@ final class StringTablePair
     ) {}
 }
 
-final class StringTableSequence implements Sequence
+final class StringTableSequence implements Sequence<StringTablePair>
 {
     private array $strings;
 
@@ -99,4 +97,4 @@ final class StringTable
 
 ?>
 --EXPECTF--
-Fatal error: Associated type cannot be part of a union type in %s on line %d
+Fatal error: Generic type cannot be part of a union type in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/abstract_generic_cannot_be_in_intersection1.phpt

@@ -9,4 +9,4 @@ interface I<T> {
 
 ?>
 --EXPECTF--
-Fatal error: Associated type cannot be part of an intersection type in %s on line %d
+Fatal error: Generic type cannot be part of an intersection type in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/abstract_generic_cannot_be_in_intersection2.phpt

@@ -9,4 +9,4 @@ interface I<T> {
 
 ?>
 --EXPECTF--
-Fatal error: Associated type cannot be part of an intersection type in %s on line %d
+Fatal error: Generic type cannot be part of an intersection type in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/abstract_generic_cannot_be_in_union1.phpt

@@ -9,4 +9,4 @@ interface I<T> {
 
 ?>
 --EXPECTF--
-Fatal error: Associated type cannot be part of a union type in %s on line %d
+Fatal error: Generic type cannot be part of a union type in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/abstract_generic_cannot_be_in_union2.phpt

@@ -9,4 +9,4 @@ interface I<T> {
 
 ?>
 --EXPECTF--
-Fatal error: Associated type cannot be part of a union type in %s on line %d
+Fatal error: Generic type cannot be part of a union type in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/abstract_generic_cannot_be_in_union3.phpt

@@ -9,4 +9,4 @@ interface I<T> {
 
 ?>
 --EXPECTF--
-Fatal error: Associated type cannot be part of a union type in %s on line %d
+Fatal error: Generic type cannot be part of a union type in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/abstract_generic_cannot_be_in_union4.phpt

@@ -9,4 +9,4 @@ interface I<T> {
 
 ?>
 --EXPECTF--
-Fatal error: Associated type cannot be part of a union type in %s on line %d
+Fatal error: Generic type cannot be part of a union type in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/abstract_generic_cannot_be_in_union5.phpt

@@ -9,4 +9,4 @@ interface I<T> {
 
 ?>
 --EXPECTF--
-Fatal error: Associated type cannot be part of a union type (implicitly nullable due to default null value) in %s on line %d
+Fatal error: Generic type cannot be part of a union type (implicitly nullable due to default null value) in %s on line %d

Zend/tests/type_declarations/abstract_generics/extended_interface_new_abstract_generic_type2.phpt

@@ -1,5 +1,7 @@
 --TEST--
 Abstract generic type behaviour in extended interface
+--XFAIL--
+Generic type is not properly bound (Declaration of C::foo(string $param): string must be compatible with I::foo(T $param): T)
 --FILE--
 <?php