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"];