Tip for Discovering Symbols on all "not found" messages

src/Analyser/FileAnalyser.php

@@ -91,7 +91,7 @@ public function analyseFile(
 							$fileErrors[] = new Error($e->getMessage(), $file, $node->getLine(), false, null, null, $e->getTip());
 							continue;
 						} catch (IdentifierNotFound $e) {
-							$fileErrors[] = new Error(sprintf('Reflection error: %s not found.', $e->getIdentifier()->getName()), $file, $node->getLine(), false);
+							$fileErrors[] = new Error(sprintf('Reflection error: %s not found.', $e->getIdentifier()->getName()), $file, $node->getLine(), false, null, null, 'Learn more at https://phpstan.org/user-guide/discovering-symbols');
 							continue;
 						}
 
@@ -232,7 +232,7 @@ public function analyseFile(
 			} catch (\PHPStan\AnalysedCodeException $e) {
 				$fileErrors[] = new Error($e->getMessage(), $file, null, false, null, null, $e->getTip());
 			} catch (IdentifierNotFound $e) {
-				$fileErrors[] = new Error(sprintf('Reflection error: %s not found.', $e->getIdentifier()->getName()), $file, null, false);
+				$fileErrors[] = new Error(sprintf('Reflection error: %s not found.', $e->getIdentifier()->getName()), $file, null, false, null, null, 'Learn more at https://phpstan.org/user-guide/discovering-symbols');
 			}
 		} elseif (is_dir($file)) {
 			$fileErrors[] = new Error(sprintf('File %s is a directory.', $file), $file, null, false);

src/Rules/Classes/ClassConstantRule.php

@@ -91,14 +91,14 @@ public function processNode(Node $node, Scope $scope): array
 
 					if (strtolower($constantName) === 'class') {
 						return [
-							RuleErrorBuilder::message(sprintf('Class %s not found.', $className))->build(),
+							RuleErrorBuilder::message(sprintf('Class %s not found.', $className))->discoveringSymbolsTip()->build(),
 						];
 					}
 
 					return [
 						RuleErrorBuilder::message(
 							sprintf('Access to constant %s on an unknown class %s.', $constantName, $className)
-						)->build(),
+						)->discoveringSymbolsTip()->build(),
 					];
 				} else {
 					$messages = $this->classCaseSensitivityCheck->checkClassNames([new ClassNameNodePair($className, $class)]);

src/Rules/Classes/ExistingClassInClassExtendsRule.php

@@ -50,7 +50,7 @@ public function processNode(Node $node, Scope $scope): array
 					'%s extends unknown class %s.',
 					$currentClassName !== null ? sprintf('Class %s', $currentClassName) : 'Anonymous class',
 					$extendedClassName
-				))->nonIgnorable()->build();
+				))->nonIgnorable()->discoveringSymbolsTip()->build();
 			}
 		} else {
 			$reflection = $this->reflectionProvider->getClass($extendedClassName);

src/Rules/Classes/ExistingClassInInstanceOfRule.php

@@ -68,7 +68,7 @@ public function processNode(Node $node, Scope $scope): array
 			}
 
 			return [
-				RuleErrorBuilder::message(sprintf('Class %s not found.', $name))->line($class->getLine())->build(),
+				RuleErrorBuilder::message(sprintf('Class %s not found.', $name))->line($class->getLine())->discoveringSymbolsTip()->build(),
 			];
 		} elseif ($this->checkClassCaseSensitivity) {
 			return $this->classCaseSensitivityCheck->checkClassNames([new ClassNameNodePair($name, $class)]);

src/Rules/Classes/ExistingClassInTraitUseRule.php

@@ -65,7 +65,7 @@ public function processNode(Node $node, Scope $scope): array
 			foreach ($node->traits as $trait) {
 				$traitName = (string) $trait;
 				if (!$this->reflectionProvider->hasClass($traitName)) {
-					$messages[] = RuleErrorBuilder::message(sprintf('%s uses unknown trait %s.', $currentName, $traitName))->nonIgnorable()->build();
+					$messages[] = RuleErrorBuilder::message(sprintf('%s uses unknown trait %s.', $currentName, $traitName))->nonIgnorable()->discoveringSymbolsTip()->build();
 				} else {
 					$reflection = $this->reflectionProvider->getClass($traitName);
 					if ($reflection->isClass()) {

src/Rules/Classes/ExistingClassesInClassImplementsRule.php

@@ -54,7 +54,7 @@ public function processNode(Node $node, Scope $scope): array
 						'%s implements unknown interface %s.',
 						$currentClassName !== null ? sprintf('Class %s', $currentClassName) : 'Anonymous class',
 						$implementedClassName
-					))->nonIgnorable()->build();
+					))->nonIgnorable()->discoveringSymbolsTip()->build();
 				}
 			} else {
 				$reflection = $this->reflectionProvider->getClass($implementedClassName);

src/Rules/Classes/ExistingClassesInInterfaceExtendsRule.php

@@ -50,7 +50,7 @@ public function processNode(Node $node, Scope $scope): array
 						'Interface %s extends unknown interface %s.',
 						$currentInterfaceName,
 						$extendedInterfaceName
-					))->nonIgnorable()->build();
+					))->nonIgnorable()->discoveringSymbolsTip()->build();
 				}
 			} else {
 				$reflection = $this->reflectionProvider->getClass($extendedInterfaceName);

src/Rules/Classes/InstantiationRule.php

@@ -120,7 +120,7 @@ private function checkClassName(string $class, Node $node, Scope $scope): array
 				}
 
 				return [
-					RuleErrorBuilder::message(sprintf('Instantiated class %s not found.', $class))->build(),
+					RuleErrorBuilder::message(sprintf('Instantiated class %s not found.', $class))->discoveringSymbolsTip()->build(),
 				];
 			} else {
 				$messages = $this->classCaseSensitivityCheck->checkClassNames([

src/Rules/Classes/MixinRule.php

@@ -110,7 +110,7 @@ public function processNode(Node $node, Scope $scope): array
 
 			foreach ($type->getReferencedClasses() as $class) {
 				if (!$this->reflectionProvider->hasClass($class)) {
-					$errors[] = RuleErrorBuilder::message(sprintf('PHPDoc tag @mixin contains unknown class %s.', $class))->build();
+					$errors[] = RuleErrorBuilder::message(sprintf('PHPDoc tag @mixin contains unknown class %s.', $class))->discoveringSymbolsTip()->build();
 				} elseif ($this->reflectionProvider->getClass($class)->isTrait()) {
 					$errors[] = RuleErrorBuilder::message(sprintf('PHPDoc tag @mixin contains invalid type %s.', $class))->build();
 				} elseif ($this->checkClassCaseSensitivity) {

src/Rules/Constants/ConstantRule.php

@@ -24,7 +24,7 @@ public function processNode(Node $node, Scope $scope): array
 				RuleErrorBuilder::message(sprintf(
 					'Constant %s not found.',
 					(string) $node->name
-				))->build(),
+				))->discoveringSymbolsTip()->build(),
 			];
 		}
 

src/Rules/Exceptions/CaughtExceptionExistenceRule.php

@@ -47,7 +47,7 @@ public function processNode(Node $node, Scope $scope): array
 				if ($scope->isInClassExists($className)) {
 					continue;
 				}
-				$errors[] = RuleErrorBuilder::message(sprintf('Caught class %s not found.', $className))->line($class->getLine())->build();
+				$errors[] = RuleErrorBuilder::message(sprintf('Caught class %s not found.', $className))->line($class->getLine())->discoveringSymbolsTip()->build();
 				continue;
 			}
 

src/Rules/Functions/CallToNonExistentFunctionRule.php

@@ -40,7 +40,7 @@ public function processNode(Node $node, Scope $scope): array
 
 		if (!$this->reflectionProvider->hasFunction($node->name, $scope)) {
 			return [
-				RuleErrorBuilder::message(sprintf('Function %s not found.', (string) $node->name))->build(),
+				RuleErrorBuilder::message(sprintf('Function %s not found.', (string) $node->name))->discoveringSymbolsTip()->build(),
 			];
 		}
 

src/Rules/Methods/CallStaticMethodsRule.php

@@ -129,7 +129,7 @@ public function processNode(Node $node, Scope $scope): array
 							'Call to static method %s() on an unknown class %s.',
 							$methodName,
 							$className
-						))->build(),
+						))->discoveringSymbolsTip()->build(),
 					];
 				} else {
 					$errors = $this->classCaseSensitivityCheck->checkClassNames([new ClassNameNodePair($className, $class)]);

src/Rules/Namespaces/ExistingNamesInGroupUseRule.php

@@ -76,7 +76,7 @@ public function processNode(Node $node, Scope $scope): array
 	private function checkConstant(Node\Name $name): ?RuleError
 	{
 		if (!$this->reflectionProvider->hasConstant($name, null)) {
-			return RuleErrorBuilder::message(sprintf('Used constant %s not found.', (string) $name))->line($name->getLine())->build();
+			return RuleErrorBuilder::message(sprintf('Used constant %s not found.', (string) $name))->discoveringSymbolsTip()->line($name->getLine())->build();
 		}
 
 		return null;
@@ -85,7 +85,7 @@ private function checkConstant(Node\Name $name): ?RuleError
 	private function checkFunction(Node\Name $name): ?RuleError
 	{
 		if (!$this->reflectionProvider->hasFunction($name, null)) {
-			return RuleErrorBuilder::message(sprintf('Used function %s not found.', (string) $name))->line($name->getLine())->build();
+			return RuleErrorBuilder::message(sprintf('Used function %s not found.', (string) $name))->discoveringSymbolsTip()->line($name->getLine())->build();
 		}
 
 		if ($this->checkFunctionNameCase) {

src/Rules/Namespaces/ExistingNamesInUseRule.php

@@ -73,7 +73,7 @@ private function checkConstants(array $uses): array
 				continue;
 			}
 
-			$errors[] = RuleErrorBuilder::message(sprintf('Used constant %s not found.', (string) $use->name))->line($use->name->getLine())->build();
+			$errors[] = RuleErrorBuilder::message(sprintf('Used constant %s not found.', (string) $use->name))->line($use->name->getLine())->discoveringSymbolsTip()->build();
 		}
 
 		return $errors;
@@ -88,7 +88,7 @@ private function checkFunctions(array $uses): array
 		$errors = [];
 		foreach ($uses as $use) {
 			if (!$this->reflectionProvider->hasFunction($use->name, null)) {
-				$errors[] = RuleErrorBuilder::message(sprintf('Used function %s not found.', (string) $use->name))->line($use->name->getLine())->build();
+				$errors[] = RuleErrorBuilder::message(sprintf('Used function %s not found.', (string) $use->name))->line($use->name->getLine())->discoveringSymbolsTip()->build();
 			} elseif ($this->checkFunctionNameCase) {
 				$functionReflection = $this->reflectionProvider->getFunction($use->name, null);
 				$realName = $functionReflection->getName();

src/Rules/PhpDoc/InvalidPhpDocVarTagTypeRule.php

@@ -144,7 +144,7 @@ public function processNode(Node $node, Scope $scope): array
 				$errors[] = RuleErrorBuilder::message(sprintf(
 					sprintf('%s contains unknown class %%s.', $identifier),
 					$referencedClass
-				))->build();
+				))->discoveringSymbolsTip()->build();
 			}
 
 			if (!$this->checkClassCaseSensitivity) {

src/Rules/Properties/AccessStaticPropertiesRule.php

@@ -113,7 +113,7 @@ public function processNode(Node $node, Scope $scope): array
 							'Access to static property $%s on an unknown class %s.',
 							$name,
 							$class
-						))->build(),
+						))->discoveringSymbolsTip()->build(),
 					];
 				} else {
 					$messages = $this->classCaseSensitivityCheck->checkClassNames([new ClassNameNodePair($class, $node->class)]);

src/Rules/Properties/ExistingClassesInPropertiesRule.php

@@ -77,7 +77,7 @@ public function processNode(Node $node, Scope $scope): array
 				$propertyReflection->getDeclaringClass()->getDisplayName(),
 				$node->name->name,
 				$referencedClass
-			))->build();
+			))->discoveringSymbolsTip()->build();
 		}
 
 		if ($this->checkClassCaseSensitivity) {

src/Rules/RuleErrorBuilder.php

@@ -104,6 +104,11 @@ public function tip(string $tip): self
 		return $this;
 	}
 
+	public function discoveringSymbolsTip(): self
+	{
+		return $this->tip('Learn more at https://phpstan.org/user-guide/discovering-symbols');
+	}
+
 	public function identifier(string $identifier): self
 	{
 		$this->properties['identifier'] = $identifier;

src/Rules/RuleLevelHelper.php

@@ -157,7 +157,7 @@ public function findTypeToCheck(
 				continue;
 			}
 
-			$errors[] = RuleErrorBuilder::message(sprintf($unknownClassErrorPattern, $referencedClass))->line($var->getLine())->build();
+			$errors[] = RuleErrorBuilder::message(sprintf($unknownClassErrorPattern, $referencedClass))->line($var->getLine())->discoveringSymbolsTip()->build();
 		}
 
 		if (count($errors) > 0 || $hasClassExistsClass) {

tests/PHPStan/Rules/Arrays/IterableInForeachRuleTest.php

@@ -29,6 +29,7 @@ public function testCheckWithMaybes(): void
 			[
 				'Iterating over an object of an unknown class IterablesInForeach\Bar.',
 				47,
+				'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 			],
 		]);
 	}

tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php

@@ -36,10 +36,12 @@ public function testRule(): void
 			[
 				'Access to offset \'bar\' on an unknown class NonexistentOffset\Bar.',
 				101,
+				'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 			],
 			[
 				'Access to an offset on an unknown class NonexistentOffset\Bar.',
 				102,
+				'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 			],
 			[
 				'Offset 0 does not exist on array<string, string>.',

tests/PHPStan/Rules/Classes/ClassConstantRuleTest.php

@@ -29,6 +29,7 @@ public function testClassConstant(): void
 				[
 					'Class ClassConstantNamespace\Bar not found.',
 					6,
+					'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 				],
 				[
 					'Using self outside of class scope.',
@@ -53,6 +54,7 @@ public function testClassConstant(): void
 				[
 					'Access to constant FOO on an unknown class ClassConstantNamespace\UnknownClass.',
 					21,
+					'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 				],
 				[
 					'Class ClassConstantNamespace\Foo referenced with incorrect case: ClassConstantNamespace\FOO.',
@@ -123,10 +125,12 @@ public function testClassConstantVisibility(): void
 			[
 				'Access to constant FOO on an unknown class ClassConstantVisibility\UnknownClassFirst.',
 				112,
+				'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 			],
 			[
 				'Access to constant FOO on an unknown class ClassConstantVisibility\UnknownClassSecond.',
 				112,
+				'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 			],
 			[
 				'Cannot access constant FOO on int|string.',
@@ -149,14 +153,17 @@ public function testClassExists(): void
 			[
 				'Class UnknownClass\Bar not found.',
 				24,
+				'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 			],
 			[
 				'Class UnknownClass\Foo not found.',
 				26,
+				'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 			],
 			[
 				'Class UnknownClass\Foo not found.',
 				29,
+				'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 			],
 		]);
 	}

tests/PHPStan/Rules/Classes/ExistingClassInClassExtendsRuleTest.php

@@ -40,6 +40,7 @@ public function testRuleExtendsError(): void
 			[
 				'Class ExtendsError\Foo extends unknown class ExtendsError\Bar.',
 				5,
+				'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 			],
 			[
 				'Class ExtendsError\Lorem extends interface ExtendsError\BazInterface.',

tests/PHPStan/Rules/Classes/ExistingClassInInstanceOfRuleTest.php

@@ -32,6 +32,7 @@ public function testClassDoesNotExist(): void
 				[
 					'Class InstanceOfNamespace\Bar not found.',
 					7,
+					'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 				],
 				[
 					'Using self outside of class scope.',

tests/PHPStan/Rules/Classes/ExistingClassInTraitUseRuleTest.php

@@ -40,6 +40,7 @@ public function testTraitUseError(): void
 			[
 				'Class TraitUseError\Foo uses unknown trait TraitUseError\FooTrait.',
 				8,
+				'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 			],
 			/*[
 				'Trait TraitUseError\BarTrait uses class TraitUseError\Foo.',
@@ -56,6 +57,7 @@ public function testTraitUseError(): void
 			[
 				'Anonymous class uses unknown trait TraitUseError\FooTrait.',
 				27,
+				'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 			],
 			[
 				'Anonymous class uses interface TraitUseError\Baz.',

tests/PHPStan/Rules/Classes/ExistingClassesInClassImplementsRuleTest.php

@@ -40,6 +40,7 @@ public function testRuleImplementsError(): void
 			[
 				'Class ImplementsError\Foo implements unknown interface ImplementsError\Bar.',
 				5,
+				'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 			],
 			[
 				'Class ImplementsError\Lorem implements class ImplementsError\Foo.',

tests/PHPStan/Rules/Classes/ExistingClassesInInterfaceExtendsRuleTest.php

@@ -40,6 +40,7 @@ public function testRuleExtendsError(): void
 			[
 				'Interface InterfaceExtendsError\Foo extends unknown interface InterfaceExtendsError\Bar.',
 				5,
+				'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 			],
 			[
 				'Interface InterfaceExtendsError\Lorem extends class InterfaceExtendsError\BazClass.',

tests/PHPStan/Rules/Classes/InstantiationRuleTest.php

@@ -45,6 +45,7 @@ public function testInstantiation(): void
 				[
 					'Instantiated class TestInstantiation\FooBarInstantiation not found.',
 					27,
+					'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 				],
 				[
 					'Class TestInstantiation\BarInstantiation constructor invoked with 0 parameters, 1 required.',
@@ -61,6 +62,7 @@ public function testInstantiation(): void
 				[
 					'Instantiated class Test not found.',
 					33,
+					'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 				],
 				[
 					'Class DatePeriod constructor invoked with 0 parameters, 1-4 required.',
@@ -153,14 +155,17 @@ public function testInstantiation(): void
 				[
 					'Instantiated class UndefinedClass1 not found.',
 					169,
+					'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 				],
 				[
 					'Instantiated class UndefinedClass2 not found.',
 					172,
+					'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 				],
 				[
 					'Instantiated class UndefinedClass3 not found.',
 					179,
+					'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 				],
 				[
 					'Class TestInstantiation\FinalClass does not have a constructor and must be instantiated without any parameters.',

tests/PHPStan/Rules/Classes/MixinRuleTest.php

@@ -60,6 +60,7 @@ public function testRule(): void
 			[
 				'PHPDoc tag @mixin contains unknown class MixinRule\UnknownestClass.',
 				50,
+				'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 			],
 			[
 				'PHPDoc tag @mixin contains invalid type MixinRule\FooTrait.',
@@ -68,6 +69,7 @@ public function testRule(): void
 			[
 				'PHPDoc tag @mixin contains unknown class MixinRule\U.',
 				59,
+				'Learn more at https://phpstan.org/user-guide/discovering-symbols',
 			],
 			[
 				'Generic type MixinRule\Consecteur<MixinRule\Foo> in PHPDoc tag @mixin does not specify all template types of class MixinRule\Consecteur: T, U',