Optimization

Author: ondrejmirtes

src/Analyser/MutatingScope.php

@@ -3314,7 +3314,7 @@ public function enterClassMethod(
 				$this->getRealParameterTypes($classMethod),
 				array_map(static fn (Type $type): Type => TemplateTypeHelper::toArgument($type), $phpDocParameterTypes),
 				$this->getRealParameterDefaultValues($classMethod),
-				$this->transformStaticType($this->getFunctionType($classMethod->returnType, $classMethod->returnType === null, false)),
+				$this->transformStaticType($this->getFunctionType($classMethod->returnType, false, false)),
 				$phpDocReturnType !== null ? TemplateTypeHelper::toArgument($phpDocReturnType) : null,
 				$throwType,
 				$deprecatedDescription,

src/Reflection/Php/PhpParameterReflection.php

@@ -6,7 +6,6 @@
 use PHPStan\Reflection\PassedByReference;
 use PHPStan\Type\ConstantTypeHelper;
 use PHPStan\Type\MixedType;
-use PHPStan\Type\NullType;
 use PHPStan\Type\Type;
 use PHPStan\Type\TypeCombinator;
 use PHPStan\Type\TypehintHelper;
@@ -47,7 +46,6 @@ public function getType(): Type
 					if (
 						$this->reflection->isDefaultValueAvailable()
 						&& $this->reflection->getDefaultValue() === null
-						&& (new NullType())->isSuperTypeOf($phpDocType)->no()
 					) {
 						$phpDocType = TypeCombinator::addNull($phpDocType);
 					}

src/Type/TypeCombinator.php

@@ -34,7 +34,11 @@ class TypeCombinator
 
 	public static function addNull(Type $type): Type
 	{
-		return self::union($type, new NullType());
+		if ((new NullType())->isSuperTypeOf($type)->no()) {
+			return self::union($type, new NullType());
+		}
+
+		return $type;
 	}
 
 	public static function remove(Type $fromType, Type $typeToRemove): Type