Fix Union with float accepting integer range

Author: VincentLanglet

src/Type/UnionType.php

@@ -178,10 +178,6 @@ public function acceptsWithReason(Type $type, bool $strictTypes): AcceptsResult
 			return AcceptsResult::createYes();
 		}
 
-		if ($type instanceof CompoundType && !$type instanceof CallableType && !$type instanceof TemplateType && !$type instanceof IntersectionType) {
-			return $type->isAcceptedWithReasonBy($this, $strictTypes);
-		}
-
 		$result = AcceptsResult::createNo();
 		foreach ($this->getSortedTypes() as $i => $innerType) {
 			$result = $result->or($innerType->acceptsWithReason($type, $strictTypes)->decorateReasons(static fn (string $reason) => sprintf('Type #%d from the union: %s', $i + 1, $reason)));
@@ -190,6 +186,10 @@ public function acceptsWithReason(Type $type, bool $strictTypes): AcceptsResult
 			return $result;
 		}
 
+		if ($type instanceof CompoundType && !$type instanceof CallableType && !$type instanceof TemplateType && !$type instanceof IntersectionType) {
+			return $type->isAcceptedWithReasonBy($this, $strictTypes);
+		}
+
 		if ($type instanceof TemplateUnionType) {
 			return $result->or($type->isAcceptedWithReasonBy($this, $strictTypes));
 		}

tests/PHPStan/Rules/Classes/InstantiationRuleTest.php

@@ -493,4 +493,9 @@ public function testPhpstanInternalClass(): void
 		]);
 	}
 
+	public function testBug10248(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-10248.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Classes/data/bug-10248.php

@@ -0,0 +1,31 @@
+<?php // lint >=8.0
+
+namespace Bug10248;
+
+class A {
+	public function __construct(DateTimeInterface|float $value) {
+		var_dump($value);
+	}
+}
+
+class B {
+	public function __construct(float $value) {
+		var_dump($value);
+	}
+}
+
+/**
+ * @return int
+ */
+function getInt(): int{return 1;}
+
+/**
+ * @return int<0, max>
+ */
+function getRangeInt(): int{return 1;}
+
+new A(123);
+new A(getInt());
+new A(getRangeInt());
+
+new B(getRangeInt());