← 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.7Phan 6.0.7 php-ast version 1.1.3 PHP version used to run Phan: 8.5.9 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.2.8PHPStan - PHP Static Analysis Tool 2.2.8 Enforced reported Lv.0+ 
debug_phpstan_assert_variable_certainty.php:27: Expected variable $value certainty Maybe, actual: Yes [identifier=phpstan.variable] [reported-from-level=0]
With strict-rules
debug_phpstan_assert_variable_certainty.php:27: Expected variable $value certainty Maybe, actual: Yes [identifier=phpstan.variable]
  • Recognition: spelling resolved
  • Enforcement: 1/1 of the expected violations reported
psalm 6.16.1Psalm 6.16.1@f1f5de594dc76faf8784e02d3dc4716c91c6f6ac
next: 7.0.0-beta19		 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.46.0mago 1.46.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.70.1mir 0.70.1 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.9.0phpantom_lsp 0.9.0 Not enforced 
debug_phpstan_assert_variable_certainty.php:23: Class 'PHPStan\TrinaryLogic' not found [unknown_class]
debug_phpstan_assert_variable_certainty.php:23: 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: Function 'PHPStan\Testing\assertVariableCertainty' not found [unknown_function]
  • Recognition: spelling resolved
  • Enforcement: 0/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
phpy 0.2.0phpy 0.2.0 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.8665.325Qodana 262.8665.325 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.5steins 0.1.5 (2026-08-12 revision 39b4cc1) 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.9 (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.9 (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.9 (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.9 (70 extensions) [class.undefined]
  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
phpstan-strict 2.2.8PHPStan - PHP Static Analysis Tool 2.2.8 Enforced 
debug_phpstan_assert_variable_certainty.php:27: Expected variable $value certainty Maybe, actual: Yes [identifier=phpstan.variable]
  • Recognition: spelling resolved
  • Enforcement: 1/1 of the expected violations reported
psalm-next 7.0.0-beta19Psalm 7.0.0-beta19@7e751c06a756fa64dc4c759c09fe4a173afcb433 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
}