Implement remaining Magic-Const Handlers

Author: staabm

src/Analyser/Generator/ExprHandler/MagicFileHandler.php renamed to src/Analyser/Generator/ExprHandler/MagicConstHandler.php

@@ -4,7 +4,15 @@
 
 use Generator;
 use PhpParser\Node\Expr;
+use PhpParser\Node\Scalar\MagicConst\Class_;
+use PhpParser\Node\Scalar\MagicConst\Dir;
 use PhpParser\Node\Scalar\MagicConst\File;
+use PhpParser\Node\Scalar\MagicConst\Function_;
+use PhpParser\Node\Scalar\MagicConst\Line;
+use PhpParser\Node\Scalar\MagicConst\Method;
+use PhpParser\Node\Scalar\MagicConst\Namespace_;
+use PhpParser\Node\Scalar\MagicConst\Property;
+use PhpParser\Node\Scalar\MagicConst\Trait_;
 use PhpParser\Node\Stmt;
 use PHPStan\Analyser\ExpressionContext;
 use PHPStan\Analyser\Generator\ExprAnalysisResult;
@@ -16,10 +24,10 @@
 use PHPStan\Reflection\InitializerExprTypeResolver;
 
 /**
- * @implements ExprHandler<File>
+ * @implements ExprHandler<Dir|File|Line|Namespace_|Class_|Property|Function_|Method|Trait_>
  */
 #[AutowiredService]
-final class MagicFileHandler implements ExprHandler
+final class MagicConstHandler implements ExprHandler
 {
 
 	public function __construct(private InitializerExprTypeResolver $initializerExprTypeResolver)
@@ -28,7 +36,15 @@ public function __construct(private InitializerExprTypeResolver $initializerExpr
 
 	public function supports(Expr $expr): bool
 	{
-		return $expr instanceof File;
+		return $expr instanceof Dir
+			|| $expr instanceof File
+			|| $expr instanceof Line
+			|| $expr instanceof Namespace_
+			|| $expr instanceof Class_
+			|| $expr instanceof Property
+			|| $expr instanceof Function_
+			|| $expr instanceof Method
+			|| $expr instanceof Trait_;
 	}
 
 	public function analyseExpr(Stmt $stmt, Expr $expr, GeneratorScope $scope, ExpressionContext $context, ?callable $alternativeNodeCallback): Generator

src/Analyser/Generator/ExprHandler/MagicDirHandler.php

@@ -469,6 +469,12 @@ function doFoo(): void {
 		assertType('literal-string&non-falsy-string', __DIR__);
 		assertType('literal-string&non-falsy-string', __FILE__);
 		assertType('471', __LINE__);
+		assertType("'GeneratorNodeScopeResolverTest'", __NAMESPACE__);
+		assertType("'GeneratorNodeScopeResolverTest\\\\MagicConstUser'", __CLASS__);
+		assertType("''", __TRAIT__);
+		assertType("'doFoo'", __FUNCTION__);
+		assertType("'GeneratorNodeScopeResolverTest\\\\MagicConstUser::doFoo'", __METHOD__);
+		assertType("''", __PROPERTY__);
 	}
 }