← All results

PHPStan\Testing\assertVariableCertainty()

Group: Debug features · Category: extension · File: debug_phpstan_assert_variable_certainty.php

Asserts whether a variable is definitely / maybe / never defined at a point. Wrong certainty produces a diagnostic. References: - PHPStan Testing helpers: assertVariableCertainty + TrinaryLogic

Analyzer results

AnalyzerVersionResultDiagnostics
phan 6.0.11Phan 6.0.11 php-ast version 1.1.3 PHP version used to run Phan: 8.5.11 Not enforced 
debug_phpstan_assert_variable_certainty.php:23: Call to method createYes from undeclared class \PHPStan\TrinaryLogic [PhanUndeclaredClassMethod]
debug_phpstan_assert_variable_certainty.php:23: Call to undeclared function \PHPStan\Testing\assertVariableCertainty() [PhanUndeclaredFunction]
debug_phpstan_assert_variable_certainty.php:27: Call to method createMaybe from undeclared class \PHPStan\TrinaryLogic [PhanUndeclaredClassMethod]
debug_phpstan_assert_variable_certainty.php:27: Call to undeclared function \PHPStan\Testing\assertVariableCertainty() [PhanUndeclaredFunction]
  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
phpstan 2.3.5PHPStan - PHP Static Analysis Tool 2.3.5 Enforced reported Lv.0+ 
debug_phpstan_assert_variable_certainty.php:27: Expected variable $value certainty Maybe, actual: Yes [reported-from-level=0]
With strict-rules
debug_phpstan_assert_variable_certainty.php:27: Expected variable $value certainty Maybe, actual: Yes
  • Recognition: spelling resolved
  • Enforcement: 1/1 of the expected violations reported
psalm 6.20.9Psalm 6.20.9@f67170ac3c3b931f5088681e21d6c8babc601c08
next: 7.0.4		 Not enforced 
debug_phpstan_assert_variable_certainty.php:23: Function PHPStan\Testing\assertVariableCertainty does not exist, consider enabling the allFunctionsGlobal config option if scanning legacy codebases [UndefinedFunction]
debug_phpstan_assert_variable_certainty.php:23: Class, interface or enum named PHPStan\TrinaryLogic does not exist [UndefinedClass]
debug_phpstan_assert_variable_certainty.php:27: Function PHPStan\Testing\assertVariableCertainty does not exist, consider enabling the allFunctionsGlobal config option if scanning legacy codebases [UndefinedFunction]
debug_phpstan_assert_variable_certainty.php:27: Class, interface or enum named PHPStan\TrinaryLogic does not exist [UndefinedClass]
  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
mago 1.59.0mago 1.59.0 Not enforced 
debug_phpstan_assert_variable_certainty.php:23: Function `PHPStan\Testing\assertVariableCertainty` could not be found. [non-existent-function]
debug_phpstan_assert_variable_certainty.php:23: Method `createYes` does not exist on type `PHPStan\TrinaryLogic`. [non-existent-method]
debug_phpstan_assert_variable_certainty.php:27: Function `PHPStan\Testing\assertVariableCertainty` could not be found. [non-existent-function]
debug_phpstan_assert_variable_certainty.php:27: Method `createMaybe` does not exist on type `PHPStan\TrinaryLogic`. [non-existent-method]
  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
mir 0.91.0mir 0.91.0 Not enforced 
debug_phpstan_assert_variable_certainty.php:23: UndefinedClass: Class PHPStan\TrinaryLogic does not exist [MIR0005]
debug_phpstan_assert_variable_certainty.php:23: UndefinedFunction: Function PHPStan\Testing\assertVariableCertainty() is not defined [MIR0003]
debug_phpstan_assert_variable_certainty.php:27: UndefinedClass: Class PHPStan\TrinaryLogic does not exist [MIR0005]
debug_phpstan_assert_variable_certainty.php:27: UndefinedFunction: Function PHPStan\Testing\assertVariableCertainty() is not defined [MIR0003]
  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
phpantom 0.11.1phpantom_lsp 0.11.1 Enforced 
debug_phpstan_assert_variable_certainty.php:23: Function 'PHPStan\Testing\assertVariableCertainty' not found [unknown_function]
debug_phpstan_assert_variable_certainty.php:23: Class 'PHPStan\TrinaryLogic' not found [unknown_class]
debug_phpstan_assert_variable_certainty.php:23: Cannot verify method 'createYes' — type of '\PHPStan\TrinaryLogic' could not be resolved [unresolved_member_access]
debug_phpstan_assert_variable_certainty.php:27: Function 'PHPStan\Testing\assertVariableCertainty' not found [unknown_function]
debug_phpstan_assert_variable_certainty.php:27: Class 'PHPStan\TrinaryLogic' not found [unknown_class]
debug_phpstan_assert_variable_certainty.php:27: Cannot verify method 'createMaybe' — type of '\PHPStan\TrinaryLogic' could not be resolved [unresolved_member_access]
  • Recognition: spelling resolved
  • Enforcement: 1/1 of the expected violations reported
intelephense 1.18.5intelephense 1.18.5 Not enforced 
debug_phpstan_assert_variable_certainty.php:23: Undefined function 'PHPStan\Testing\assertVariableCertainty'. [P1010]
debug_phpstan_assert_variable_certainty.php:23: Undefined type 'PHPStan\TrinaryLogic'. [P1009]
debug_phpstan_assert_variable_certainty.php:27: Undefined function 'PHPStan\Testing\assertVariableCertainty'. [P1010]
debug_phpstan_assert_variable_certainty.php:27: Undefined type 'PHPStan\TrinaryLogic'. [P1009]
  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
phpactor 2026.10.07.0Phpactor 2026.10.07.0 Enforced 
debug_phpstan_assert_variable_certainty.php:23: Function "assertVariableCertainty" not found [unresolved_name]
debug_phpstan_assert_variable_certainty.php:23: Class "TrinaryLogic" not found [unresolved_name]
debug_phpstan_assert_variable_certainty.php:27: Function "assertVariableCertainty" not found [unresolved_name]
debug_phpstan_assert_variable_certainty.php:27: Class "TrinaryLogic" not found [unresolved_name]
  • Recognition: spelling resolved
  • Enforcement: 1/1 of the expected violations reported
phpy 1.0.19490phpy 1.0.19490 Not enforced 
debug_phpstan_assert_variable_certainty.php:23: Call to unknown function: 'PHPStan\Testing\assertVariableCertainty'
debug_phpstan_assert_variable_certainty.php:23: Use of unknown class: 'PHPStan\TrinaryLogic'
debug_phpstan_assert_variable_certainty.php:27: Call to unknown function: 'PHPStan\Testing\assertVariableCertainty'
debug_phpstan_assert_variable_certainty.php:27: Use of unknown class: 'PHPStan\TrinaryLogic'
  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
qodana 262.11879.104PhpStorm 262.11879.104 Not enforced 
debug_phpstan_assert_variable_certainty.php:23: Undefined namespace 'Testing' [PhpUndefinedNamespaceInspection]
debug_phpstan_assert_variable_certainty.php:23: Undefined class 'TrinaryLogic' [PhpUndefinedClassInspection]
debug_phpstan_assert_variable_certainty.php:27: Undefined namespace 'Testing' [PhpUndefinedNamespaceInspection]
debug_phpstan_assert_variable_certainty.php:27: Undefined class 'TrinaryLogic' [PhpUndefinedClassInspection]
  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
noverify 0.5.5NoVerify, version 0.5.5: built on: 2025.04.22 14:36:46 OS: r-kuchinskas arm64 Commit: 4774b82f8adc53fbef38f95e97af4b953b4d1529 Not enforced 
debug_phpstan_assert_variable_certainty.php:23: Call to undefined method \PHPStan\TrinaryLogic::createYes() [undefinedMethod]
debug_phpstan_assert_variable_certainty.php:23: Call to undefined function \PHPStan\Testing\assertVariableCertainty [undefinedFunction]
debug_phpstan_assert_variable_certainty.php:27: Call to undefined method \PHPStan\TrinaryLogic::createMaybe() [undefinedMethod]
debug_phpstan_assert_variable_certainty.php:27: Call to undefined function \PHPStan\Testing\assertVariableCertainty [undefinedFunction]
  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
steins 0.1.8steins 0.1.8 (2026-09-21 revision 76306a9) Not enforced 
debug_phpstan_assert_variable_certainty.php:23: call to undefined function PHPStan\Testing\assertVariableCertainty() — not defined in the project, not on PHP 8.5.11 (70 extensions) [call.undefined-function]
debug_phpstan_assert_variable_certainty.php:23: reference to undefined class PHPStan\TrinaryLogic — not defined in the project, not on PHP 8.5.11 (70 extensions) [class.undefined]
debug_phpstan_assert_variable_certainty.php:27: call to undefined function PHPStan\Testing\assertVariableCertainty() — not defined in the project, not on PHP 8.5.11 (70 extensions) [call.undefined-function]
debug_phpstan_assert_variable_certainty.php:27: reference to undefined class PHPStan\TrinaryLogic — not defined in the project, not on PHP 8.5.11 (70 extensions) [class.undefined]
  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
phpstan-strict 2.3.5PHPStan - PHP Static Analysis Tool 2.3.5 Enforced 
debug_phpstan_assert_variable_certainty.php:27: Expected variable $value certainty Maybe, actual: Yes
  • Recognition: spelling resolved
  • Enforcement: 1/1 of the expected violations reported
psalm-next 7.0.4Psalm 7.0.4@fa5b1f6e665cb743838ffd865b8fc96207f9409f Not enforced 
debug_phpstan_assert_variable_certainty.php:23: Function PHPStan\Testing\assertVariableCertainty does not exist, consider enabling the allFunctionsGlobal config option if scanning legacy codebases [UndefinedFunction]
debug_phpstan_assert_variable_certainty.php:23: Class, interface or enum named PHPStan\TrinaryLogic does not exist [UndefinedClass]
debug_phpstan_assert_variable_certainty.php:27: Function PHPStan\Testing\assertVariableCertainty does not exist, consider enabling the allFunctionsGlobal config option if scanning legacy codebases [UndefinedFunction]
debug_phpstan_assert_variable_certainty.php:27: Class, interface or enum named PHPStan\TrinaryLogic does not exist [UndefinedClass]
  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported

Source

<?php

declare(strict_types=1);

namespace Conformance\Tests\DebugPhpstanAssertVariableCertainty;

/**
 * Cross-tool handling of `PHPStan\Testing\assertVariableCertainty()`.
 *
 * Asserts whether a variable is definitely / maybe / never defined at a
 * point. Wrong certainty produces a diagnostic.
 *
 * References:
 * - PHPStan Testing helpers: `assertVariableCertainty` + `TrinaryLogic`
 *
 * @conformance-kind debug
 */

function example(?string $value): void // T: PHPStan\Testing\assertVariableCertainty
{
    if ($value !== null) {
        // Definitely defined here — silence on match (not a probe).
        \PHPStan\Testing\assertVariableCertainty(\PHPStan\TrinaryLogic::createYes(), $value); // E?[noise]
    }

    // Still defined as a parameter (always certain), so Maybe is wrong — probe.
    \PHPStan\Testing\assertVariableCertainty(\PHPStan\TrinaryLogic::createMaybe(), $value); // E?: expected Maybe, actual Yes
}