fix(analyzer): skip binding to generic parameter when constraint is not satisfied

Signed-off-by: azjezz <[email protected]>

Author: azjezz

crates/analyzer/src/invocation/template_inference.rs

@@ -751,6 +751,20 @@ fn infer_templates_from_input_and_container_types(
             continue;
         }
 
+        if !container_generic.constraint.has_template_types()
+            && !union_comparator::is_contained_by(
+                context.codebase,
+                &residual_input_type,
+                &container_generic.constraint,
+                false,
+                false,
+                false,
+                &mut ComparisonResult::default(),
+            )
+        {
+            continue;
+        }
+
         let mut has_violation = false;
 
         if let Some(template_types) = template_result.template_types.get(template_parameter_name) {

crates/analyzer/tests/cases/issue_709.php

@@ -0,0 +1,17 @@
+<?php
+
+declare(strict_types=1);
+
+final class Something
+{
+    public string $name;
+
+    public function someMethod(): void
+    {
+    }
+}
+
+$reflectionClass = new ReflectionClass(Something::class);
+$instance = $reflectionClass->newInstanceWithoutConstructor();
+$instance->name = 'test';
+$instance->someMethod();

crates/analyzer/tests/mod.rs

@@ -416,6 +416,7 @@ test_case!(issue_689);
 test_case!(issue_690);
 test_case!(issue_701);
 test_case!(issue_706);
+test_case!(issue_709);
 test_case!(issue_710);
 test_case!(issue_708_part_1);
 test_case!(issue_708_part_2);