DiagnoseExtension

composer.json

@@ -15,7 +15,7 @@
   "require": {
     "php": "^7.2 || ^8.0",
     "ext-simplexml": "*",
-    "phpstan/phpstan": "^1.11"
+    "phpstan/phpstan": "^1.11.7"
   },
   "conflict": {
     "symfony/framework-bundle": "<3.0"

extension.neon

@@ -322,6 +322,10 @@ services:
 		class: PHPStan\Symfony\PasswordAuthenticatedUserStubFilesExtension
 		tags:
 			- phpstan.stubFilesExtension
+	-
+		class: PHPStan\Symfony\SymfonyDiagnoseExtension
+		tags:
+			- phpstan.diagnoseExtension
 
 	# FormInterface::getErrors() return type
 	-

src/Symfony/ConsoleApplicationResolver.php

@@ -27,6 +27,11 @@ public function __construct(Configuration $configuration)
 		$this->consoleApplicationLoader = $configuration->getConsoleApplicationLoader();
 	}
 
+	public function hasConsoleApplicationLoader(): bool
+	{
+		return $this->consoleApplicationLoader !== null;
+	}
+
 	private function getConsoleApplication(): ?Application
 	{
 		if ($this->consoleApplicationLoader === null) {

src/Symfony/SymfonyDiagnoseExtension.php

@@ -0,0 +1,29 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Symfony;
+
+use PHPStan\Command\Output;
+use PHPStan\Diagnose\DiagnoseExtension;
+use function sprintf;
+
+class SymfonyDiagnoseExtension implements DiagnoseExtension
+{
+
+	/** @var ConsoleApplicationResolver */
+	private $consoleApplicationResolver;
+
+	public function __construct(ConsoleApplicationResolver $consoleApplicationResolver)
+	{
+		$this->consoleApplicationResolver = $consoleApplicationResolver;
+	}
+
+	public function print(Output $output): void
+	{
+		$output->writeLineFormatted(sprintf(
+			'<info>Symfony\'s consoleApplicationLoader:</info> %s',
+			$this->consoleApplicationResolver->hasConsoleApplicationLoader() ? 'In use' : 'No'
+		));
+		$output->writeLineFormatted('');
+	}
+
+}