[BCB] Type::getProperty() now returns ExtendedPropertyReflection

ondrejmirtes · ondrejmirtes · commit d1d7d4abcca4 · 2024-09-30T12:42:10.000+02:00
diff --git a/UPGRADING.md b/UPGRADING.md
@@ -278,3 +278,4 @@ Instead of `PHPStanTestCase::createBroker()`, call `PHPStanTestCase::createRefle
 * Remove `ConstantType` interface, use [`Type::isConstantValue()`](https://apiref.phpstan.org/2.0.x/PHPStan.Type.Type.html#_isConstantValue) instead
 * `acceptsNamedArguments()` in `FunctionReflection`, `ExtendedMethodReflection` and `CallableParametersAcceptor` interfaces returns `TrinaryLogic` instead of `bool`
 * Remove `FunctionReflection::isFinal()`
+* [`Type::getProperty()`](https://apiref.phpstan.org/2.0.x/PHPStan.Type.Type.html#_getProperty) now returns [`ExtendedPropertyReflection`](https://apiref.phpstan.org/2.0.x/PHPStan.Reflection.ExtendedPropertyReflection.html)
diff --git a/src/Type/ClosureType.php b/src/Type/ClosureType.php
@@ -20,13 +20,13 @@
 use PHPStan\Reflection\ClassReflection;
 use PHPStan\Reflection\ConstantReflection;
 use PHPStan\Reflection\ExtendedMethodReflection;
+use PHPStan\Reflection\ExtendedPropertyReflection;
 use PHPStan\Reflection\Native\NativeParameterReflection;
 use PHPStan\Reflection\ParameterReflection;
 use PHPStan\Reflection\ParametersAcceptor;
 use PHPStan\Reflection\PassedByReference;
 use PHPStan\Reflection\Php\ClosureCallUnresolvedMethodPrototypeReflection;
 use PHPStan\Reflection\Php\DummyParameter;
-use PHPStan\Reflection\PropertyReflection;
 use PHPStan\Reflection\Type\UnresolvedMethodPrototypeReflection;
 use PHPStan\Reflection\Type\UnresolvedPropertyPrototypeReflection;
 use PHPStan\TrinaryLogic;
@@ -307,7 +307,7 @@ public function hasProperty(string $propertyName): TrinaryLogic
 		return $this->objectType->hasProperty($propertyName);
 	}
 
-	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection
+	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection
 	{
 		return $this->objectType->getProperty($propertyName, $scope);
 	}
diff --git a/src/Type/Generic/GenericObjectType.php b/src/Type/Generic/GenericObjectType.php
@@ -8,7 +8,7 @@
 use PHPStan\Reflection\ClassMemberAccessAnswerer;
 use PHPStan\Reflection\ClassReflection;
 use PHPStan\Reflection\ExtendedMethodReflection;
-use PHPStan\Reflection\PropertyReflection;
+use PHPStan\Reflection\ExtendedPropertyReflection;
 use PHPStan\Reflection\ReflectionProviderStaticAccessor;
 use PHPStan\Reflection\Type\UnresolvedMethodPrototypeReflection;
 use PHPStan\Reflection\Type\UnresolvedPropertyPrototypeReflection;
@@ -228,7 +228,7 @@ public function getClassReflection(): ?ClassReflection
 			->withVariances($this->variances);
 	}
 
-	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection
+	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection
 	{
 		return $this->getUnresolvedPropertyPrototype($propertyName, $scope)->getTransformedProperty();
 	}
diff --git a/src/Type/IntersectionType.php b/src/Type/IntersectionType.php
@@ -10,8 +10,8 @@
 use PHPStan\Reflection\ClassMemberAccessAnswerer;
 use PHPStan\Reflection\ConstantReflection;
 use PHPStan\Reflection\ExtendedMethodReflection;
+use PHPStan\Reflection\ExtendedPropertyReflection;
 use PHPStan\Reflection\InitializerExprTypeResolver;
-use PHPStan\Reflection\PropertyReflection;
 use PHPStan\Reflection\TrivialParametersAcceptor;
 use PHPStan\Reflection\Type\IntersectionTypeUnresolvedMethodPrototypeReflection;
 use PHPStan\Reflection\Type\IntersectionTypeUnresolvedPropertyPrototypeReflection;
@@ -466,7 +466,7 @@ public function hasProperty(string $propertyName): TrinaryLogic
 		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->hasProperty($propertyName));
 	}
 
-	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection
+	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection
 	{
 		return $this->getUnresolvedPropertyPrototype($propertyName, $scope)->getTransformedProperty();
 	}
diff --git a/src/Type/MixedType.php b/src/Type/MixedType.php
@@ -12,7 +12,7 @@
 use PHPStan\Reflection\Dummy\DummyMethodReflection;
 use PHPStan\Reflection\Dummy\DummyPropertyReflection;
 use PHPStan\Reflection\ExtendedMethodReflection;
-use PHPStan\Reflection\PropertyReflection;
+use PHPStan\Reflection\ExtendedPropertyReflection;
 use PHPStan\Reflection\TrivialParametersAcceptor;
 use PHPStan\Reflection\Type\CallbackUnresolvedMethodPrototypeReflection;
 use PHPStan\Reflection\Type\CallbackUnresolvedPropertyPrototypeReflection;
@@ -381,7 +381,7 @@ public function hasProperty(string $propertyName): TrinaryLogic
 		return TrinaryLogic::createYes();
 	}
 
-	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection
+	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection
 	{
 		return $this->getUnresolvedPropertyPrototype($propertyName, $scope)->getTransformedProperty();
 	}
diff --git a/src/Type/NeverType.php b/src/Type/NeverType.php
@@ -8,7 +8,7 @@
 use PHPStan\Reflection\ClassMemberAccessAnswerer;
 use PHPStan\Reflection\ConstantReflection;
 use PHPStan\Reflection\ExtendedMethodReflection;
-use PHPStan\Reflection\PropertyReflection;
+use PHPStan\Reflection\ExtendedPropertyReflection;
 use PHPStan\Reflection\Type\UnresolvedMethodPrototypeReflection;
 use PHPStan\Reflection\Type\UnresolvedPropertyPrototypeReflection;
 use PHPStan\ShouldNotHappenException;
@@ -141,7 +141,7 @@ public function hasProperty(string $propertyName): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
-	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection
+	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection
 	{
 		throw new ShouldNotHappenException();
 	}
diff --git a/src/Type/NonexistentParentClassType.php b/src/Type/NonexistentParentClassType.php
@@ -8,7 +8,7 @@
 use PHPStan\Reflection\ClassMemberAccessAnswerer;
 use PHPStan\Reflection\ConstantReflection;
 use PHPStan\Reflection\ExtendedMethodReflection;
-use PHPStan\Reflection\PropertyReflection;
+use PHPStan\Reflection\ExtendedPropertyReflection;
 use PHPStan\Reflection\Type\UnresolvedMethodPrototypeReflection;
 use PHPStan\Reflection\Type\UnresolvedPropertyPrototypeReflection;
 use PHPStan\ShouldNotHappenException;
@@ -67,7 +67,7 @@ public function hasProperty(string $propertyName): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
-	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection
+	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection
 	{
 		throw new ShouldNotHappenException();
 	}
diff --git a/src/Type/ObjectShapeType.php b/src/Type/ObjectShapeType.php
@@ -10,9 +10,9 @@
 use PHPStan\PhpDocParser\Ast\Type\ObjectShapeNode;
 use PHPStan\PhpDocParser\Ast\Type\TypeNode;
 use PHPStan\Reflection\ClassMemberAccessAnswerer;
+use PHPStan\Reflection\ExtendedPropertyReflection;
 use PHPStan\Reflection\MissingPropertyFromReflectionException;
 use PHPStan\Reflection\Php\UniversalObjectCratesClassReflectionExtension;
-use PHPStan\Reflection\PropertyReflection;
 use PHPStan\Reflection\ReflectionProviderStaticAccessor;
 use PHPStan\Reflection\Type\CallbackUnresolvedPropertyPrototypeReflection;
 use PHPStan\Reflection\Type\UnresolvedPropertyPrototypeReflection;
@@ -102,7 +102,7 @@ public function hasProperty(string $propertyName): TrinaryLogic
 		return TrinaryLogic::createYes();
 	}
 
-	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection
+	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection
 	{
 		return $this->getUnresolvedPropertyPrototype($propertyName, $scope)->getTransformedProperty();
 	}
diff --git a/src/Type/ObjectType.php b/src/Type/ObjectType.php
@@ -23,6 +23,7 @@
 use PHPStan\Reflection\ClassReflection;
 use PHPStan\Reflection\ConstantReflection;
 use PHPStan\Reflection\ExtendedMethodReflection;
+use PHPStan\Reflection\ExtendedPropertyReflection;
 use PHPStan\Reflection\Php\UniversalObjectCratesClassReflectionExtension;
 use PHPStan\Reflection\PropertyReflection;
 use PHPStan\Reflection\ReflectionProviderStaticAccessor;
@@ -160,7 +161,7 @@ public function hasProperty(string $propertyName): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
-	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection
+	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection
 	{
 		return $this->getUnresolvedPropertyPrototype($propertyName, $scope)->getTransformedProperty();
 	}
diff --git a/src/Type/StaticType.php b/src/Type/StaticType.php
@@ -9,7 +9,7 @@
 use PHPStan\Reflection\ClassReflection;
 use PHPStan\Reflection\ConstantReflection;
 use PHPStan\Reflection\ExtendedMethodReflection;
-use PHPStan\Reflection\PropertyReflection;
+use PHPStan\Reflection\ExtendedPropertyReflection;
 use PHPStan\Reflection\ReflectionProviderStaticAccessor;
 use PHPStan\Reflection\Type\CallbackUnresolvedMethodPrototypeReflection;
 use PHPStan\Reflection\Type\CallbackUnresolvedPropertyPrototypeReflection;
@@ -219,7 +219,7 @@ public function hasProperty(string $propertyName): TrinaryLogic
 		return $this->getStaticObjectType()->hasProperty($propertyName);
 	}
 
-	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection
+	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection
 	{
 		return $this->getUnresolvedPropertyPrototype($propertyName, $scope)->getTransformedProperty();
 	}
diff --git a/src/Type/StrictMixedType.php b/src/Type/StrictMixedType.php
@@ -8,7 +8,7 @@
 use PHPStan\Reflection\ClassMemberAccessAnswerer;
 use PHPStan\Reflection\ConstantReflection;
 use PHPStan\Reflection\ExtendedMethodReflection;
-use PHPStan\Reflection\PropertyReflection;
+use PHPStan\Reflection\ExtendedPropertyReflection;
 use PHPStan\Reflection\Type\UnresolvedMethodPrototypeReflection;
 use PHPStan\Reflection\Type\UnresolvedPropertyPrototypeReflection;
 use PHPStan\ShouldNotHappenException;
@@ -135,7 +135,7 @@ public function hasProperty(string $propertyName): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
-	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection
+	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection
 	{
 		throw new ShouldNotHappenException();
 	}
diff --git a/src/Type/Traits/LateResolvableTypeTrait.php b/src/Type/Traits/LateResolvableTypeTrait.php
@@ -6,7 +6,7 @@
 use PHPStan\Reflection\ClassMemberAccessAnswerer;
 use PHPStan\Reflection\ConstantReflection;
 use PHPStan\Reflection\ExtendedMethodReflection;
-use PHPStan\Reflection\PropertyReflection;
+use PHPStan\Reflection\ExtendedPropertyReflection;
 use PHPStan\Reflection\Type\UnresolvedMethodPrototypeReflection;
 use PHPStan\Reflection\Type\UnresolvedPropertyPrototypeReflection;
 use PHPStan\TrinaryLogic;
@@ -107,7 +107,7 @@ public function hasProperty(string $propertyName): TrinaryLogic
 		return $this->resolve()->hasProperty($propertyName);
 	}
 
-	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection
+	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection
 	{
 		return $this->resolve()->getProperty($propertyName, $scope);
 	}
diff --git a/src/Type/Traits/MaybeObjectTypeTrait.php b/src/Type/Traits/MaybeObjectTypeTrait.php
@@ -8,7 +8,7 @@
 use PHPStan\Reflection\Dummy\DummyMethodReflection;
 use PHPStan\Reflection\Dummy\DummyPropertyReflection;
 use PHPStan\Reflection\ExtendedMethodReflection;
-use PHPStan\Reflection\PropertyReflection;
+use PHPStan\Reflection\ExtendedPropertyReflection;
 use PHPStan\Reflection\Type\CallbackUnresolvedMethodPrototypeReflection;
 use PHPStan\Reflection\Type\CallbackUnresolvedPropertyPrototypeReflection;
 use PHPStan\Reflection\Type\UnresolvedMethodPrototypeReflection;
@@ -45,7 +45,7 @@ public function hasProperty(string $propertyName): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
-	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection
+	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection
 	{
 		return $this->getUnresolvedPropertyPrototype($propertyName, $scope)->getTransformedProperty();
 	}
diff --git a/src/Type/Traits/NonObjectTypeTrait.php b/src/Type/Traits/NonObjectTypeTrait.php
@@ -5,7 +5,7 @@
 use PHPStan\Reflection\ClassMemberAccessAnswerer;
 use PHPStan\Reflection\ConstantReflection;
 use PHPStan\Reflection\ExtendedMethodReflection;
-use PHPStan\Reflection\PropertyReflection;
+use PHPStan\Reflection\ExtendedPropertyReflection;
 use PHPStan\Reflection\Type\UnresolvedMethodPrototypeReflection;
 use PHPStan\Reflection\Type\UnresolvedPropertyPrototypeReflection;
 use PHPStan\ShouldNotHappenException;
@@ -36,7 +36,7 @@ public function hasProperty(string $propertyName): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
-	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection
+	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection
 	{
 		throw new ShouldNotHappenException();
 	}
diff --git a/src/Type/Traits/ObjectTypeTrait.php b/src/Type/Traits/ObjectTypeTrait.php
@@ -9,7 +9,7 @@
 use PHPStan\Reflection\Dummy\DummyMethodReflection;
 use PHPStan\Reflection\Dummy\DummyPropertyReflection;
 use PHPStan\Reflection\ExtendedMethodReflection;
-use PHPStan\Reflection\PropertyReflection;
+use PHPStan\Reflection\ExtendedPropertyReflection;
 use PHPStan\Reflection\Type\CallbackUnresolvedMethodPrototypeReflection;
 use PHPStan\Reflection\Type\CallbackUnresolvedPropertyPrototypeReflection;
 use PHPStan\Reflection\Type\UnresolvedMethodPrototypeReflection;
@@ -56,7 +56,7 @@ public function hasProperty(string $propertyName): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
-	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection
+	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection
 	{
 		return $this->getUnresolvedPropertyPrototype($propertyName, $scope)->getTransformedProperty();
 	}
diff --git a/src/Type/Type.php b/src/Type/Type.php
@@ -85,10 +85,7 @@ public function canAccessProperties(): TrinaryLogic;
 
 	public function hasProperty(string $propertyName): TrinaryLogic;
 
-	/**
-	 * @return ExtendedPropertyReflection
-	 */
-	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection;
+	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection;
 
 	public function getUnresolvedPropertyPrototype(string $propertyName, ClassMemberAccessAnswerer $scope): UnresolvedPropertyPrototypeReflection;
 
diff --git a/src/Type/UnionType.php b/src/Type/UnionType.php
@@ -11,8 +11,8 @@
 use PHPStan\Reflection\ClassMemberAccessAnswerer;
 use PHPStan\Reflection\ConstantReflection;
 use PHPStan\Reflection\ExtendedMethodReflection;
+use PHPStan\Reflection\ExtendedPropertyReflection;
 use PHPStan\Reflection\InitializerExprTypeResolver;
-use PHPStan\Reflection\PropertyReflection;
 use PHPStan\Reflection\Type\UnionTypeUnresolvedMethodPrototypeReflection;
 use PHPStan\Reflection\Type\UnionTypeUnresolvedPropertyPrototypeReflection;
 use PHPStan\Reflection\Type\UnresolvedMethodPrototypeReflection;
@@ -435,7 +435,7 @@ public function hasProperty(string $propertyName): TrinaryLogic
 		return $this->unionResults(static fn (Type $type): TrinaryLogic => $type->hasProperty($propertyName));
 	}
 
-	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection
+	public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection
 	{
 		return $this->getUnresolvedPropertyPrototype($propertyName, $scope)->getTransformedProperty();
 	}

Original file line number	Diff line number	Diff line change
`@@ -8,7 +8,7 @@`
`8`	`8`	`use PHPStan\Reflection\ClassMemberAccessAnswerer;`
`9`	`9`	`use PHPStan\Reflection\ClassReflection;`
`10`	`10`	`use PHPStan\Reflection\ExtendedMethodReflection;`
`11`		`-use PHPStan\Reflection\PropertyReflection;`
	`11`	`+use PHPStan\Reflection\ExtendedPropertyReflection;`
`12`	`12`	`use PHPStan\Reflection\ReflectionProviderStaticAccessor;`
`13`	`13`	`use PHPStan\Reflection\Type\UnresolvedMethodPrototypeReflection;`
`14`	`14`	`use PHPStan\Reflection\Type\UnresolvedPropertyPrototypeReflection;`
`@@ -228,7 +228,7 @@ public function getClassReflection(): ?ClassReflection`
`228`	`228`	`->withVariances($this->variances);`
`229`	`229`	`}`
`230`	`230`
`231`		`- public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection`
	`231`	`+ public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection`
`232`	`232`	`{`
`233`	`233`	`return $this->getUnresolvedPropertyPrototype($propertyName, $scope)->getTransformedProperty();`
`234`	`234`	`}`
Original file line number	Diff line number	Diff line change
`@@ -10,8 +10,8 @@`
`10`	`10`	`use PHPStan\Reflection\ClassMemberAccessAnswerer;`
`11`	`11`	`use PHPStan\Reflection\ConstantReflection;`
`12`	`12`	`use PHPStan\Reflection\ExtendedMethodReflection;`
	`13`	`+use PHPStan\Reflection\ExtendedPropertyReflection;`
`13`	`14`	`use PHPStan\Reflection\InitializerExprTypeResolver;`
`14`		`-use PHPStan\Reflection\PropertyReflection;`
`15`	`15`	`use PHPStan\Reflection\TrivialParametersAcceptor;`
`16`	`16`	`use PHPStan\Reflection\Type\IntersectionTypeUnresolvedMethodPrototypeReflection;`
`17`	`17`	`use PHPStan\Reflection\Type\IntersectionTypeUnresolvedPropertyPrototypeReflection;`
`@@ -466,7 +466,7 @@ public function hasProperty(string $propertyName): TrinaryLogic`
`466`	`466`	`return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->hasProperty($propertyName));`
`467`	`467`	`}`
`468`	`468`
`469`		`- public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection`
	`469`	`+ public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection`
`470`	`470`	`{`
`471`	`471`	`return $this->getUnresolvedPropertyPrototype($propertyName, $scope)->getTransformedProperty();`
`472`	`472`	`}`
Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,7 @@`
`12`	`12`	`use PHPStan\Reflection\Dummy\DummyMethodReflection;`
`13`	`13`	`use PHPStan\Reflection\Dummy\DummyPropertyReflection;`
`14`	`14`	`use PHPStan\Reflection\ExtendedMethodReflection;`
`15`		`-use PHPStan\Reflection\PropertyReflection;`
	`15`	`+use PHPStan\Reflection\ExtendedPropertyReflection;`
`16`	`16`	`use PHPStan\Reflection\TrivialParametersAcceptor;`
`17`	`17`	`use PHPStan\Reflection\Type\CallbackUnresolvedMethodPrototypeReflection;`
`18`	`18`	`use PHPStan\Reflection\Type\CallbackUnresolvedPropertyPrototypeReflection;`
`@@ -381,7 +381,7 @@ public function hasProperty(string $propertyName): TrinaryLogic`
`381`	`381`	`return TrinaryLogic::createYes();`
`382`	`382`	`}`
`383`	`383`
`384`		`- public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection`
	`384`	`+ public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection`
`385`	`385`	`{`
`386`	`386`	`return $this->getUnresolvedPropertyPrototype($propertyName, $scope)->getTransformedProperty();`
`387`	`387`	`}`
Original file line number	Diff line number	Diff line change
`@@ -10,9 +10,9 @@`
`10`	`10`	`use PHPStan\PhpDocParser\Ast\Type\ObjectShapeNode;`
`11`	`11`	`use PHPStan\PhpDocParser\Ast\Type\TypeNode;`
`12`	`12`	`use PHPStan\Reflection\ClassMemberAccessAnswerer;`
	`13`	`+use PHPStan\Reflection\ExtendedPropertyReflection;`
`13`	`14`	`use PHPStan\Reflection\MissingPropertyFromReflectionException;`
`14`	`15`	`use PHPStan\Reflection\Php\UniversalObjectCratesClassReflectionExtension;`
`15`		`-use PHPStan\Reflection\PropertyReflection;`
`16`	`16`	`use PHPStan\Reflection\ReflectionProviderStaticAccessor;`
`17`	`17`	`use PHPStan\Reflection\Type\CallbackUnresolvedPropertyPrototypeReflection;`
`18`	`18`	`use PHPStan\Reflection\Type\UnresolvedPropertyPrototypeReflection;`
`@@ -102,7 +102,7 @@ public function hasProperty(string $propertyName): TrinaryLogic`
`102`	`102`	`return TrinaryLogic::createYes();`
`103`	`103`	`}`
`104`	`104`
`105`		`- public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection`
	`105`	`+ public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection`
`106`	`106`	`{`
`107`	`107`	`return $this->getUnresolvedPropertyPrototype($propertyName, $scope)->getTransformedProperty();`
`108`	`108`	`}`
Original file line number	Diff line number	Diff line change
`@@ -23,6 +23,7 @@`
`23`	`23`	`use PHPStan\Reflection\ClassReflection;`
`24`	`24`	`use PHPStan\Reflection\ConstantReflection;`
`25`	`25`	`use PHPStan\Reflection\ExtendedMethodReflection;`
	`26`	`+use PHPStan\Reflection\ExtendedPropertyReflection;`
`26`	`27`	`use PHPStan\Reflection\Php\UniversalObjectCratesClassReflectionExtension;`
`27`	`28`	`use PHPStan\Reflection\PropertyReflection;`
`28`	`29`	`use PHPStan\Reflection\ReflectionProviderStaticAccessor;`
`@@ -160,7 +161,7 @@ public function hasProperty(string $propertyName): TrinaryLogic`
`160`	`161`	`return TrinaryLogic::createNo();`
`161`	`162`	`}`
`162`	`163`
`163`		`- public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection`
	`164`	`+ public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection`
`164`	`165`	`{`
`165`	`166`	`return $this->getUnresolvedPropertyPrototype($propertyName, $scope)->getTransformedProperty();`
`166`	`167`	`}`
Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@`
`9`	`9`	`use PHPStan\Reflection\ClassReflection;`
`10`	`10`	`use PHPStan\Reflection\ConstantReflection;`
`11`	`11`	`use PHPStan\Reflection\ExtendedMethodReflection;`
`12`		`-use PHPStan\Reflection\PropertyReflection;`
	`12`	`+use PHPStan\Reflection\ExtendedPropertyReflection;`
`13`	`13`	`use PHPStan\Reflection\ReflectionProviderStaticAccessor;`
`14`	`14`	`use PHPStan\Reflection\Type\CallbackUnresolvedMethodPrototypeReflection;`
`15`	`15`	`use PHPStan\Reflection\Type\CallbackUnresolvedPropertyPrototypeReflection;`
`@@ -219,7 +219,7 @@ public function hasProperty(string $propertyName): TrinaryLogic`
`219`	`219`	`return $this->getStaticObjectType()->hasProperty($propertyName);`
`220`	`220`	`}`
`221`	`221`
`222`		`- public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection`
	`222`	`+ public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection`
`223`	`223`	`{`
`224`	`224`	`return $this->getUnresolvedPropertyPrototype($propertyName, $scope)->getTransformedProperty();`
`225`	`225`	`}`
Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,7 @@`
`6`	`6`	`use PHPStan\Reflection\ClassMemberAccessAnswerer;`
`7`	`7`	`use PHPStan\Reflection\ConstantReflection;`
`8`	`8`	`use PHPStan\Reflection\ExtendedMethodReflection;`
`9`		`-use PHPStan\Reflection\PropertyReflection;`
	`9`	`+use PHPStan\Reflection\ExtendedPropertyReflection;`
`10`	`10`	`use PHPStan\Reflection\Type\UnresolvedMethodPrototypeReflection;`
`11`	`11`	`use PHPStan\Reflection\Type\UnresolvedPropertyPrototypeReflection;`
`12`	`12`	`use PHPStan\TrinaryLogic;`
`@@ -107,7 +107,7 @@ public function hasProperty(string $propertyName): TrinaryLogic`
`107`	`107`	`return $this->resolve()->hasProperty($propertyName);`
`108`	`108`	`}`
`109`	`109`
`110`		`- public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection`
	`110`	`+ public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection`
`111`	`111`	`{`
`112`	`112`	`return $this->resolve()->getProperty($propertyName, $scope);`
`113`	`113`	`}`
Original file line number	Diff line number	Diff line change
`@@ -5,7 +5,7 @@`
`5`	`5`	`use PHPStan\Reflection\ClassMemberAccessAnswerer;`
`6`	`6`	`use PHPStan\Reflection\ConstantReflection;`
`7`	`7`	`use PHPStan\Reflection\ExtendedMethodReflection;`
`8`		`-use PHPStan\Reflection\PropertyReflection;`
	`8`	`+use PHPStan\Reflection\ExtendedPropertyReflection;`
`9`	`9`	`use PHPStan\Reflection\Type\UnresolvedMethodPrototypeReflection;`
`10`	`10`	`use PHPStan\Reflection\Type\UnresolvedPropertyPrototypeReflection;`
`11`	`11`	`use PHPStan\ShouldNotHappenException;`
`@@ -36,7 +36,7 @@ public function hasProperty(string $propertyName): TrinaryLogic`
`36`	`36`	`return TrinaryLogic::createNo();`
`37`	`37`	`}`
`38`	`38`
`39`		`- public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection`
	`39`	`+ public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection`
`40`	`40`	`{`
`41`	`41`	`throw new ShouldNotHappenException();`
`42`	`42`	`}`
Original file line number	Diff line number	Diff line change
`@@ -11,8 +11,8 @@`
`11`	`11`	`use PHPStan\Reflection\ClassMemberAccessAnswerer;`
`12`	`12`	`use PHPStan\Reflection\ConstantReflection;`
`13`	`13`	`use PHPStan\Reflection\ExtendedMethodReflection;`
	`14`	`+use PHPStan\Reflection\ExtendedPropertyReflection;`
`14`	`15`	`use PHPStan\Reflection\InitializerExprTypeResolver;`
`15`		`-use PHPStan\Reflection\PropertyReflection;`
`16`	`16`	`use PHPStan\Reflection\Type\UnionTypeUnresolvedMethodPrototypeReflection;`
`17`	`17`	`use PHPStan\Reflection\Type\UnionTypeUnresolvedPropertyPrototypeReflection;`
`18`	`18`	`use PHPStan\Reflection\Type\UnresolvedMethodPrototypeReflection;`
`@@ -435,7 +435,7 @@ public function hasProperty(string $propertyName): TrinaryLogic`
`435`	`435`	`return $this->unionResults(static fn (Type $type): TrinaryLogic => $type->hasProperty($propertyName));`
`436`	`436`	`}`
`437`	`437`
`438`		`- public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection`
	`438`	`+ public function getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection`
`439`	`439`	`{`
`440`	`440`	`return $this->getUnresolvedPropertyPrototype($propertyName, $scope)->getTransformedProperty();`
`441`	`441`	`}`