switch to in/out instead of +/-

Signed-off-by: Robert Landers <landers.robert@gmail.com>

Author: withinboredom

Zend/tests/generics/declaration/recursive_bounds/with_variance_covariant_violation.phpt

@@ -2,8 +2,8 @@
 Recursive bounds: covariant marker in bound position is still rejected (bounds are invariant)
 --FILE--
 <?php
-class Box<+T> {}
-class Pair<+T: Box<U>, +U: Box<T>> {}
+class Box<out T> {}
+class Pair<out T: Box<U>, out U: Box<T>> {}
 ?>
 --EXPECTF--
-Fatal error: Type parameter %s declared covariant (+%s) cannot appear in invariant position in %s on line %d
+Fatal error: Type parameter %s declared covariant (out %s) cannot appear in invariant position in %s on line %d

Zend/tests/generics/declaration/variance/arrow_violation_covariant_in_param.phpt

@@ -1,8 +1,8 @@
 --TEST--
-Variance: +T on an arrow function in parameter position is rejected
+Variance: out T on an arrow function in parameter position is rejected
 --FILE--
 <?php
-$f = fn<+T>(T $x): T => $x;
+$f = fn<out T>(T $x): T => $x;
 ?>
 --EXPECTF--
-Fatal error: Type parameter T declared covariant (+T) cannot appear in contravariant position in %s on line %d
+Fatal error: Type parameter T declared covariant (out T) cannot appear in contravariant position in %s on line %d

Zend/tests/generics/declaration/variance/autoload_unresolved_implements_forwarded.phpt

@@ -4,8 +4,8 @@ Variance: covariant T forwarded into an `implements` arg whose target autoloads
 <?php
 spl_autoload_register(function (string $class): void {
     static $sources = [
-        'AUI_Sequence' => 'interface AUI_Sequence<+T> {}',
-        'AUI_ArraySequence' => 'final class AUI_ArraySequence<+T> implements AUI_Sequence<T> {}',
+        'AUI_Sequence' => 'interface AUI_Sequence<out T> {}',
+        'AUI_ArraySequence' => 'final class AUI_ArraySequence<out T> implements AUI_Sequence<T> {}',
     ];
 
     if (isset($sources[$class])) {

Zend/tests/generics/declaration/variance/autoload_unresolved_implements_violation.phpt

@@ -4,8 +4,8 @@ Variance: covariant T forwarded into a contravariant `implements` arg is rejecte
 <?php
 spl_autoload_register(function (string $class): void {
     static $sources = [
-        'AUI2_Sink' => 'interface AUI2_Sink<-U> {}',
-        'AUI2_Bad' => 'final class AUI2_Bad<+T> implements AUI2_Sink<T> {}',
+        'AUI2_Sink' => 'interface AUI2_Sink<in U> {}',
+        'AUI2_Bad' => 'final class AUI2_Bad<out T> implements AUI2_Sink<T> {}',
     ];
 
     if (isset($sources[$class])) {
@@ -16,4 +16,4 @@ spl_autoload_register(function (string $class): void {
 class_exists('AUI2_Bad');
 ?>
 --EXPECTF--
-Fatal error: Type parameter T declared covariant (+T) cannot appear in contravariant position in %s on line %d
+Fatal error: Type parameter T declared covariant (out T) cannot appear in contravariant position in %s on line %d

Zend/tests/generics/declaration/variance/closure_violation_covariant_in_param.phpt

@@ -1,8 +1,8 @@
 --TEST--
-Variance: +T on a closure in parameter position is rejected
+Variance: out T on a closure in parameter position is rejected
 --FILE--
 <?php
-$f = function <+T>(T $x): void {};
+$f = function <out T>(T $x): void {};
 ?>
 --EXPECTF--
-Fatal error: Type parameter T declared covariant (+T) cannot appear in contravariant position in %s on line %d
+Fatal error: Type parameter T declared covariant (out T) cannot appear in contravariant position in %s on line %d

Zend/tests/generics/declaration/variance/function_happy_path.phpt

@@ -2,17 +2,17 @@
 Variance: function-origin type parameters checked uniformly with class-origin
 --FILE--
 <?php
-function take<-T>(T $x): int { return 0; }
-function make<+T>(): T { return null; }
-function transform<-I, +O>(I $input): O { return null; }
+function take<in T>(T $x): int { return 0; }
+function make<out T>(): T { return null; }
+function transform<in I, out O>(I $input): O { return null; }
 
-$closure_take = function <-T>(T $x): int { return 0; };
-$closure_make = function <+T>(): T { return null; };
-$arrow_take   = fn<-T>(T $x): int => 0;
-$arrow_make   = fn<+T>(): T => null;
+$closure_take = function <in T>(T $x): int { return 0; };
+$closure_make = function <out T>(): T { return null; };
+$arrow_take   = fn<in T>(T $x): int => 0;
+$arrow_make   = fn<out T>(): T => null;
 
-class A<+T = mixed> {
-    public function map<-A_, +B>(A_ $a): B { return null; }
+class A<out T = mixed> {
+    public function map<in A_, out B>(A_ $a): B { return null; }
 }
 
 take(42);

Zend/tests/generics/declaration/variance/function_violation_composed.phpt

@@ -1,10 +1,10 @@
 --TEST--
-Variance: function-origin +T composed through Consumer<-U> in return is rejected
+Variance: function-origin out T composed through Consumer<in U> in return is rejected
 --FILE--
 <?php
-interface Consumer<-U> { public function consume(U $x): void; }
+interface Consumer<in U> { public function consume(U $x): void; }
 
-function f<+T>(): Consumer<T> {}
+function f<out T>(): Consumer<T> {}
 ?>
 --EXPECTF--
-Fatal error: Type parameter T declared covariant (+T) cannot appear in contravariant position in %s on line %d
+Fatal error: Type parameter T declared covariant (out T) cannot appear in contravariant position in %s on line %d

Zend/tests/generics/declaration/variance/function_violation_contravariant_in_return.phpt

@@ -1,8 +1,8 @@
 --TEST--
-Variance: -T on a function in return position (covariant) is rejected
+Variance: in T on a function in return position (covariant) is rejected
 --FILE--
 <?php
-function f<-T>(): T {}
+function f<in T>(): T {}
 ?>
 --EXPECTF--
-Fatal error: Type parameter T declared contravariant (-T) cannot appear in covariant position in %s on line %d
+Fatal error: Type parameter T declared contravariant (in T) cannot appear in covariant position in %s on line %d

Zend/tests/generics/declaration/variance/function_violation_covariant_in_param.phpt

@@ -1,8 +1,8 @@
 --TEST--
-Variance: +T on a function in parameter position (contravariant) is rejected
+Variance: out T on a function in parameter position (contravariant) is rejected
 --FILE--
 <?php
-function f<+T>(T $x): void {}
+function f<out T>(T $x): void {}
 ?>
 --EXPECTF--
-Fatal error: Type parameter T declared covariant (+T) cannot appear in contravariant position in %s on line %d
+Fatal error: Type parameter T declared covariant (out T) cannot appear in contravariant position in %s on line %d

Zend/tests/generics/declaration/variance/function_violation_own_bound.phpt

@@ -1,10 +1,10 @@
 --TEST--
-Variance: +T on a function appearing in its own bound (invariant position) is rejected
+Variance: out T on a function appearing in its own bound (invariant position) is rejected
 --FILE--
 <?php
 interface Box<U> {}
 
-function f<+T : Box<T>>(): void {}
+function f<out T : Box<T>>(): void {}
 ?>
 --EXPECTF--
-Fatal error: Type parameter T declared covariant (+T) cannot appear in invariant position in %s on line %d
+Fatal error: Type parameter T declared covariant (out T) cannot appear in invariant position in %s on line %d