Fix #9146: TypeError dead catch when assigning mixed to int in property

src/Analyser/NodeScopeResolver.php

@@ -6367,7 +6367,7 @@
 				if ($declaringClass->hasNativeProperty($propertyName)) {
 					$nativeProperty = $declaringClass->getNativeProperty($propertyName);
 					if (
-						!$nativeProperty->getNativeType()->accepts($assignedExprType, true)->yes()
+						!$nativeProperty->getNativeType()->toCoercedPropertyType()->isSuperTypeOf($assignedExprType)->yes()
 					) {
 						$throwPoints[] = InternalThrowPoint::createExplicit($scope, new ObjectType(TypeError::class), $assignedExpr, false);
 					}

src/Type/Accessory/AccessoryArrayListType.php

@@ -484,6 +484,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function traverse(callable $cb): Type
 	{
 		return $this;

src/Type/Accessory/AccessoryLiteralStringType.php

@@ -228,6 +228,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function isNull(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Accessory/AccessoryLowercaseStringType.php

@@ -225,6 +225,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function isNull(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Accessory/AccessoryNonEmptyStringType.php

@@ -225,6 +225,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function isNull(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Accessory/AccessoryNonFalsyStringType.php

@@ -228,6 +228,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function isNull(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Accessory/AccessoryNumericStringType.php

@@ -233,6 +233,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function isNull(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Accessory/AccessoryUppercaseStringType.php

@@ -225,6 +225,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function isNull(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Accessory/HasOffsetType.php

@@ -405,6 +405,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function getEnumCases(): array
 	{
 		return [];

src/Type/Accessory/HasOffsetValueType.php

@@ -472,6 +472,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function getEnumCases(): array
 	{
 		return [];

src/Type/Accessory/NonEmptyArrayType.php

@@ -469,6 +469,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function traverse(callable $cb): Type
 	{
 		return $this;

src/Type/Accessory/OversizedArrayType.php

@@ -447,6 +447,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function traverse(callable $cb): Type
 	{
 		return $this;

src/Type/BooleanType.php

@@ -119,6 +119,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function isOffsetAccessLegal(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();

src/Type/CallableType.php

@@ -441,6 +441,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		);
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function getTemplateTypeMap(): TemplateTypeMap
 	{
 		return $this->templateTypeMap;

src/Type/ClosureType.php

@@ -534,6 +534,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return TypeCombinator::union($this, new CallableType());
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function getTemplateTypeMap(): TemplateTypeMap
 	{
 		return $this->templateTypeMap;

src/Type/Constant/ConstantBooleanType.php

@@ -117,6 +117,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function isTrue(): TrinaryLogic
 	{
 		return TrinaryLogic::createFromBoolean($this->value === true);

src/Type/Constant/ConstantIntegerType.php

@@ -102,6 +102,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return TypeCombinator::union($this, $this->toFloat());
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function generalize(GeneralizePrecision $precision): Type
 	{
 		return new IntegerType();

src/Type/FloatType.php

@@ -151,6 +151,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return TypeCombinator::union($this, new IntegerType());
+	}
+
 	public function isOffsetAccessLegal(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();

src/Type/Generic/TemplateTypeTrait.php

@@ -263,6 +263,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function inferTemplateTypes(Type $receivedType): TemplateTypeMap
 	{
 		if (

src/Type/IntegerType.php

@@ -106,6 +106,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return TypeCombinator::union($this, $this->toFloat());
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function isOffsetAccessLegal(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();

src/Type/IntersectionType.php

@@ -1292,6 +1292,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this->intersectTypes(static fn (Type $type): Type => $type->toCoercedArgumentType($strictTypes));
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this->intersectTypes(static fn (Type $type): Type => $type->toCoercedPropertyType());
+	}
+
 	public function inferTemplateTypes(Type $receivedType): TemplateTypeMap
 	{
 		$types = TemplateTypeMap::createEmpty();

src/Type/IterableType.php

@@ -257,6 +257,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		);
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function isIterable(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();

src/Type/MixedType.php

@@ -636,6 +636,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function isIterable(): TrinaryLogic
 	{
 		if ($this->subtractedType !== null) {

src/Type/NeverType.php

@@ -429,6 +429,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function traverse(callable $cb): Type
 	{
 		return $this;

src/Type/NonexistentParentClassType.php

@@ -193,6 +193,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return new ErrorType();
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function isOffsetAccessLegal(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/NullType.php

@@ -179,6 +179,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function isOffsetAccessible(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();

src/Type/ObjectType.php

@@ -905,6 +905,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function toBoolean(): BooleanType
 	{
 		if (

src/Type/ResourceType.php

@@ -95,6 +95,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function isOffsetAccessLegal(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();

src/Type/StaticType.php

@@ -745,6 +745,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this->getStaticObjectType()->toCoercedArgumentType($strictTypes);
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this->getStaticObjectType()->toCoercedPropertyType();
+	}
+
 	public function toBoolean(): BooleanType
 	{
 		return $this->getStaticObjectType()->toBoolean();

src/Type/StrictMixedType.php

@@ -431,6 +431,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function inferTemplateTypes(Type $receivedType): TemplateTypeMap
 	{
 		return TemplateTypeMap::createEmpty();

src/Type/StringType.php

@@ -192,6 +192,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function isNull(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Traits/ArrayTypeTrait.php

@@ -35,6 +35,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this;
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this;
+	}
+
 	public function isOffsetAccessible(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();

src/Type/Traits/LateResolvableTypeTrait.php

@@ -419,6 +419,11 @@ public function toCoercedArgumentType(bool $strictTypes): Type
 		return $this->resolve()->toCoercedArgumentType($strictTypes);
 	}
 
+	public function toCoercedPropertyType(): Type
+	{
+		return $this->resolve()->toCoercedPropertyType();
+	}
+
 	public function isSmallerThan(Type $otherType, PhpVersion $phpVersion): TrinaryLogic
 	{
 		return $this->resolve()->isSmallerThan($otherType, $phpVersion);