From 1122f2a29f8b39d0081ee2c53443d7046d933945 Mon Sep 17 00:00:00 2001 From: "Dylan K. Taylor" Date: Wed, 29 Apr 2020 13:26:49 +0100 Subject: [PATCH] phpstorm can't infer these types :( --- src/Server.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Server.php b/src/Server.php index fa604d6d9..3aaa1eb2d 100644 --- a/src/Server.php +++ b/src/Server.php @@ -1253,7 +1253,9 @@ class Server{ $stream = PacketBatch::fromPackets(...$ev->getPackets()); + /** @var Compressor[] $compressors */ $compressors = []; + /** @var NetworkSession[][] $compressorTargets */ $compressorTargets = []; foreach($recipients as $recipient){ $compressor = $recipient->getCompressor();