From 4268623b0a5ece197b534a32679c482794f8d8c3 Mon Sep 17 00:00:00 2001 From: Atsushi Matsuo Date: Sat, 17 Jan 2026 21:58:06 +0900 Subject: [PATCH] Resolve the "Property is never assigned null so it can be removed from the property type" error detected by PHPStan --- src/Supporting/CommunicationProvider.php | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/src/Supporting/CommunicationProvider.php b/src/Supporting/CommunicationProvider.php index 8053856..3a2f556 100644 --- a/src/Supporting/CommunicationProvider.php +++ b/src/Supporting/CommunicationProvider.php @@ -22,10 +22,10 @@ class CommunicationProvider */ public int $vNum = -1; /** - * @var null|string + * @var string * @ignore */ - private string|null $host = "127.0.0.1"; + private string $host = "127.0.0.1"; /** * @var string * @ignore @@ -37,20 +37,20 @@ class CommunicationProvider */ private string $password; /** - * @var string|null + * @var string * @ignore */ - private string|null $solution; + private string $solution; /** - * @var null|string + * @var string * @ignore */ - private string|null $protocol = 'https'; + private string $protocol = 'https'; /** - * @var int|null + * @var int * @ignore */ - private int|null $port = 443; + private int $port = 443; /** * @var string|null