Read the article about this release: PHPStan 1.10 Comes With a Lie Detector

Major new features 🚀

• "Always true" conditions in the last elseif branch and last match expression arm are not reported by default (#2105), #8042, #8485, #7721, #4242, #8240, thanks @staabm!
  • Set reportAlwaysTrueInLastCondition to true to have them reported again
  • Note: "Always true" conditions in PHPStan 1.x are reported with Bleeding Edge enabled, or with phpstan-strict-rules installed, or with relevant options enabled separately. In PHPStan 2.0 they're going to be always reported, except for the last elseif branch and last match expression arm.
• Deprecate various instanceof *Type in favour of new methods on Type interface, (phpstan/phpstan-src@436e6d3), learn more: Why Is instanceof *Type Wrong and Getting Deprecated?
  • Deprecations in your custom rules and extensions will be reported in Bleeding Edge, or with phpstan-deprecation-rules installed
• Explain why type isn't accepted by another type in less intuitive scenarios, #3281, #6787
  • Some examples: https://phpstan.org/r/61cfbb65-1a04-471a-a5c5-d61f0540ae1d, https://phpstan.org/r/839f1fd2-d66a-4356-af21-3fe171d83fd1, https://phpstan.org/r/2bea7ece-6b26-4dc9-a1cf-d2f0e7fbb9d6, https://phpstan.org/r/fed1c275-46d0-434f-b9c4-3212f4df6d1c, https://phpstan.org/r/24a23b74-af27-4443-986c-04af61427d50

Bleeding edge 🔪

• Validate inline PHPDoc @var tag type against native type (phpstan/phpstan-src@a69e3bc)
  • Set reportWrongPhpDocTypeInVarTag to true to have all types validated, not just native ones
• Always report always true conditions, except for last elseif and match arm (#2105), thanks @staabm!
• Disable "unreachable branches" rules: UnreachableIfBranchesRule, UnreachableTernaryElseBranchRule, unreachable arm error in MatchExpressionRule
  • Because "always true" is always reported, these are no longer needed
• IncompatibleDefaultParameterTypeRule for closures (phpstan/phpstan-src@0264f5b)
• New RuleLevelHelper::accepts() behaviour (phpstan/phpstan-src@941fc81)
• Check template type variance in @param-out (phpstan/phpstan-src@7ceb19d), #8880 (comment)

If you want to see the shape of things to come and adopt bleeding edge features early, you can include this config file in your project's phpstan.neon:

includes:
	- vendor/phpstan/phpstan/conf/bleedingEdge.neon

Of course, there are no backwards compatibility guarantees when you include this file. The behaviour and reported errors can change in minor versions with this file included. Learn more

Improvements 🔧

• Implement identical/equal comparisons on EnumCaseObjectType (#2105), thanks @staabm!
• MatchExpressionRule - use ConstantConditionRuleHelper to remove some duplicate errors (phpstan/phpstan-src@7380ed0)
• Improvements of MutatingScope::getNativeType() (#1943), #4689, #7578, #6260
• Allow default values for allow-private-mutation properties (#2178), #8701, thanks @zonuexe!
• Support treatPhpDocTypesAsCertain in NumberComparisonOperatorsConstantConditionRule (phpstan/phpstan-src@649eb70), #6776, #7075
• JsonErrorFormatter - strip console-specific characters from tip (phpstan/phpstan-src@6419da7)
• InClassMethodNode - add getClassReflection() (phpstan/phpstan-src@c4ee0b8)
• PhpFunctionFromParserNodeReflection and PhpMethodFromParserNodeReflection are part of BC promise (phpstan/phpstan-src@8107179)
• AttributesCheck - detect deprecated attributes (phpstan/phpstan-src@e46b0b4)
• Introduce Type::getTemplateType() and deprecate GenericTypeVariableResolver (phpstan/phpstan-src@b73a8aa, phpstan/phpstan-src@01b4d4e)
• Implement PHP version dependent loose const comparison (#2220, #2225), thanks @staabm!

Bugfixes 🐛

• Fix LateResolvableTypeTrait (phpstan/phpstan-src@bc28286)
• StrCaseFunctionsReturnTypeExtension - do not throw ShouldNotHappenException, it might happen if mbstring is not enabled and the polyfill is not implemented (phpstan/phpstan-src@c015e47), #8925

Function signature fixes 🤖

• Fix PDO::sqliteCreateFunction (#2208), #8802, thanks @VincentLanglet!
• Use "numeric-string" type for some MySQLi functions (#2223, #2224), thanks @phansys!
• Update param and return type for db2_autocommit() (#2239), thanks @phansys!

Internals 🔍

• Deprecate TypeUtils::getDirectClassNames() and instanceof TypeWithClassName, use Type::getObjectClassNames() instead (#1924), thanks @herndlm!
• Remove dead code in UnionType (#2194), thanks @staabm!
• Use isSuperTypeOf() instead of accepts() in the right places (phpstan/phpstan-src@ddb9dc5)
• Modernized IncompatibleDefaultParameterTypeRule (phpstan/phpstan-src@a79ad03)
• InClassMethodNode always contains PhpMethodFromParserNodeReflection (phpstan/phpstan-src@01a7897)
• InFunctionNode always contains PhpFunctionFromParserNodeReflection (phpstan/phpstan-src@e864b24)
• Modernized InClassMethodNode rules (phpstan/phpstan-src@c3da6a9)
• Modernized InFunctionNode rules (phpstan/phpstan-src@b736ddc)
• Introduce Type::acceptsWithReason() (phpstan/phpstan-src@b763bd9), #3281
• Fix invalid phpdocs missing null (#2213), thanks @janedbal!
• NodeScopeResolver::earlyTerminatingMethodNames remove useless default (#2214), #8830, thanks @janedbal!
• Skip testEditorUrlWithRelativePath() test on PhpStorm console (#2229), thanks @staabm!
• VarianceCheck - accept only ParametersAcceptorWithPhpDocs (phpstan/phpstan-src@7da13f7)
• Remove duplicate method definition from ConstantType interface (phpstan/phpstan-src@61fa3a1)
• Type::isEnum() (phpstan/phpstan-src@93113cb)
• Type::getObjectClassReflections() (phpstan/phpstan-src@4c7046e)