From a5da330571453cf3e5cd7feda25a0f2d43d693a9 Mon Sep 17 00:00:00 2001 From: "Dylan K. Taylor" Date: Tue, 26 Mar 2024 16:12:28 +0000 Subject: [PATCH] CallbackTypeTest: fixed test expectation --- tests/CallbackTypeTest.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/CallbackTypeTest.php b/tests/CallbackTypeTest.php index bdeac41..5b325b1 100644 --- a/tests/CallbackTypeTest.php +++ b/tests/CallbackTypeTest.php @@ -77,7 +77,7 @@ public static function paramContravarianceProvider() : \Generator{ yield [function(int $a) : void{}, function(mixed $a) : void{}, true, "mixed is contravariant with int"]; yield [function(int|string $a) : void{}, function(mixed $a) : void{}, true, "mixed is contravariant with int|string"]; yield [function(Interface1&Interface2 $a) : void{}, function(mixed $a) : void{}, true, "mixed is contravariant with intersection"]; - yield [function((Interface1&Interface2)|string $a) : void{}, function(mixed $a) : void{}, false, "mixed is contravariant with DNF type"]; + yield [function((Interface1&Interface2)|string $a) : void{}, function(mixed $a) : void{}, true, "mixed is contravariant with DNF type"]; yield [function(mixed $a) : void{}, function($a) : void{}, true, "unspecified parameter type is equivalent to mixed"];