Always evaluated scope is not detected if condition is stronger #9685

Activity

1. ondrejmirtes

   added

   feature-request

   on Aug 5, 2023
2. ondrejmirtes

   added this to the Dependent types milestone on Aug 5, 2023
3. mvorisek commented on Sep 2, 2023

   

   mvorisek

   on Sep 2, 2023

   ContributorAuthor

   More actions

   another repro: https://phpstan.org/r/412b11c8-d545-4152-b629-46f5e9544846
4. phpstan-bot commented on Sep 5, 2024

   

   phpstan-bot

   on Sep 5, 2024

   Contributor

   More actions

   @mvorisek After the latest push in 2.0.x, PHPStan now reports different result with your code snippet:

   @@ @@
   +PHP 8.4 (3 errors)
   +==========
   +
   +24: Deprecated in PHP 8.4: Parameter #1 $field (string) is implicitly nullable via default value null.
   +39: Variable $scopeRestored might not be defined.
   +47: Variable $scopeRestored might not be defined.
   +
    PHP 8.0 – 8.3 (2 errors)
    ==========
    

   Full report

   PHP 8.4 (3 errors)

   Line	Error
   24	Deprecated in PHP 8.4: Parameter #1 $field (string) is implicitly nullable via default value null.
   39	Variable $scopeRestored might not be defined.
   47	Variable $scopeRestored might not be defined.

   PHP 8.0 – 8.3 (2 errors)

   Line	Error
   39	Variable $scopeRestored might not be defined.
   47	Variable $scopeRestored might not be defined.

   PHP 7.2 – 7.4 (3 errors)

   Line	Error
   4	Promoted properties are supported only on PHP 8.0 and later.
   39	Variable $scopeRestored might not be defined.
   47	Variable $scopeRestored might not be defined.
5. phpstan-bot commented on Nov 1, 2025

   

   phpstan-bot

   on Nov 1, 2025

   Contributor

   More actions

   @mvorisek After the latest push in 2.1.x, PHPStan now reports different result with your code snippet:

   @@ @@
   +PHP 8.4 – 8.5 (3 errors)
   +==========
   +
   +24: Deprecated in PHP 8.4: Parameter #1 $field (string) is implicitly nullable via default value null.
   +39: Variable $scopeRestored might not be defined.
   +47: Variable $scopeRestored might not be defined.
   +
    PHP 8.0 – 8.3 (2 errors)
    ==========
    

   Full report

   PHP 8.4 – 8.5 (3 errors)

   Line	Error
   24	Deprecated in PHP 8.4: Parameter #1 $field (string) is implicitly nullable via default value null.
   39	Variable $scopeRestored might not be defined.
   47	Variable $scopeRestored might not be defined.

   PHP 8.0 – 8.3 (2 errors)

   Line	Error
   39	Variable $scopeRestored might not be defined.
   47	Variable $scopeRestored might not be defined.

   PHP 7.2 – 7.4 (3 errors)

   Line	Error
   4	Promoted properties are supported only on PHP 8.0 and later.
   39	Variable $scopeRestored might not be defined.
   47	Variable $scopeRestored might not be defined.
6. phpstan-bot commented on Sep 11, 2026

   

   phpstan-bot

   on Sep 11, 2026

   Contributor

   More actions

   @mvorisek After the latest push in 2.3.x, PHPStan now reports different result with your code snippet:

   @@ @@
   -PHP 8.0 – 8.3 (2 errors)
   +PHP 8.4 – 8.5 (4 errors)
    ==========
    
   +24: Deprecated in PHP 8.4: Parameter #1 $field (string) is implicitly nullable via default value null.
    39: Variable $scopeRestored might not be defined.
    47: Variable $scopeRestored might not be defined.
   +48: Value assigned to variable $scopeRestored is never read.
    
   -PHP 7.2 – 7.4 (3 errors)
   +PHP 8.0 – 8.3 (3 errors)
    ==========
    
   +39: Variable $scopeRestored might not be defined.
   +47: Variable $scopeRestored might not be defined.
   +48: Value assigned to variable $scopeRestored is never read.
   +
   +PHP 7.2 – 7.4 (4 errors)
   +==========
   +
     4: Promoted properties are supported only on PHP 8.0 and later.
    39: Variable $scopeRestored might not be defined.
   -47: Variable $scopeRestored might not be defined.
   +47: Variable $scopeRestored might not be defined.
   +48: Value assigned to variable $scopeRestored is never read.

   Full report

   PHP 8.4 – 8.5 (4 errors)

   Line	Error
   24	Deprecated in PHP 8.4: Parameter #1 $field (string) is implicitly nullable via default value null.
   39	Variable $scopeRestored might not be defined.
   47	Variable $scopeRestored might not be defined.
   48	Value assigned to variable $scopeRestored is never read.

   PHP 8.0 – 8.3 (3 errors)

   Line	Error
   39	Variable $scopeRestored might not be defined.
   47	Variable $scopeRestored might not be defined.
   48	Value assigned to variable $scopeRestored is never read.

   PHP 7.2 – 7.4 (4 errors)

   Line	Error
   4	Promoted properties are supported only on PHP 8.0 and later.
   39	Variable $scopeRestored might not be defined.
   47	Variable $scopeRestored might not be defined.
   48	Value assigned to variable $scopeRestored is never read.
7. ondrejmirtes

   closed this as completedin phpstan-src#6380on Sep 11, 2026
8. github-actions commented on Oct 13, 2026

   

   github-actionsBot

   on Oct 13, 2026 – with GitHub Actions

   More actions

   This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.
9. github-actions

   locked as resolved and limited conversation to collaborators on Oct 13, 2026