From a3c3aa52b05030150221ee560dd87da52a9d44ba Mon Sep 17 00:00:00 2001
From: Markus Staab <markus.staab@redaxo.de>
Date: Wed, 10 Jun 2026 17:40:36 +0200
Subject: [PATCH] More precise ObjectProxy types

---
 src/Support/ObjectProxy.php | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/src/Support/ObjectProxy.php b/src/Support/ObjectProxy.php
index 856a5e2fe..9fddc8c20 100644
--- a/src/Support/ObjectProxy.php
+++ b/src/Support/ObjectProxy.php
@@ -10,13 +10,21 @@
 
 namespace Deployer\Support;
 
+use Deployer\Host\Host;
+
+/**
+ * @mixin Host
+ */
 class ObjectProxy
 {
     /**
-     * @var array
+     * @var array<Host>
      */
     private $objects;
 
+    /**
+     * @param array<Host> $objects
+     */
     public function __construct(array $objects)
     {
         $this->objects = $objects;