← All results

non-empty-lowercase-string

Group: Advanced PHPDoc types · Category: ecosystem · File: phpdoc_advanced_fallback_non_empty_lowercase_string.php

The intersection of two refinements: at least one character, and unchanged by strtolower(). The halves fail independently, so '' is rejected only by the length half and 'ABC' only by the case half — an analyzer can model one and miss the other. Analyzers that model neither fall back to plain string and accept both. References: - PHPStan TypeNodeResolver non-empty-lowercase-string resolves to string&AccessoryNonEmptyStringType&AccessoryLowercaseStringType

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 Partly enforced (1/2) 
phpdoc_advanced_fallback_non_empty_lowercase_string.php:47: Argument 1 ($value) is '' of type string but \Conformance\Tests\PhpdocAdvancedFallbackNonEmptyLowercaseString\acceptsNonEmptyLowercaseString() takes non-empty-string (no real type) defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_advanced_fallback_non_empty_lowercase_string.php:35 (the inferred real argument type has nothing in common with the parameter's phpdoc type) [PhanTypeMismatchArgumentProbablyReal]
  • Recognition: spelling resolved
  • Enforcement: 1/2 of the expected violations reported
phpstan 2.2.8PHPStan - PHP Static Analysis Tool 2.2.8 Enforced reported Lv.5+ 
phpdoc_advanced_fallback_non_empty_lowercase_string.php:47: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedFallbackNonEmptyLowercaseString\acceptsNonEmptyLowercaseString expects lowercase-string&non-empty-string, '' given. [identifier=argument.type] [reported-from-level=5]
phpdoc_advanced_fallback_non_empty_lowercase_string.php:50: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedFallbackNonEmptyLowercaseString\acceptsNonEmptyLowercaseString expects lowercase-string&non-empty-string, 'ABC' given. [identifier=argument.type] [reported-from-level=5]
With strict-rules
phpdoc_advanced_fallback_non_empty_lowercase_string.php:47: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedFallbackNonEmptyLowercaseString\acceptsNonEmptyLowercaseString expects lowercase-string&non-empty-string, '' given. [identifier=argument.type]
phpdoc_advanced_fallback_non_empty_lowercase_string.php:50: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedFallbackNonEmptyLowercaseString\acceptsNonEmptyLowercaseString expects lowercase-string&non-empty-string, 'ABC' given. [identifier=argument.type]
  • Recognition: spelling resolved
  • Enforcement: 2/2 of the expected violations reported
psalm 6.16.1Psalm 6.16.1@f1f5de594dc76faf8784e02d3dc4716c91c6f6ac
next: 7.0.0-beta19		 Enforced 
phpdoc_advanced_fallback_non_empty_lowercase_string.php:47: Argument 1 of Conformance\Tests\PhpdocAdvancedFallbackNonEmptyLowercaseString\acceptsNonEmptyLowercaseString expects non-empty-lowercase-string, but '' provided [InvalidArgument]
phpdoc_advanced_fallback_non_empty_lowercase_string.php:50: Argument 1 of Conformance\Tests\PhpdocAdvancedFallbackNonEmptyLowercaseString\acceptsNonEmptyLowercaseString expects non-empty-lowercase-string, but 'ABC' provided [InvalidArgument]
  • Recognition: spelling resolved
  • Enforcement: 2/2 of the expected violations reported
mago 1.46.0mago 1.46.0 Enforced 
phpdoc_advanced_fallback_non_empty_lowercase_string.php:47: Invalid argument type for argument #1 of `Conformance\Tests\PhpdocAdvancedFallbackNonEmptyLowercaseString\acceptsNonEmptyLowercaseString`: expected `lowercase-non-empty-string`, but found `string('')`. [invalid-argument]
phpdoc_advanced_fallback_non_empty_lowercase_string.php:50: Invalid argument type for argument #1 of `Conformance\Tests\PhpdocAdvancedFallbackNonEmptyLowercaseString\acceptsNonEmptyLowercaseString`: expected `lowercase-non-empty-string`, but found `string('ABC')`. [invalid-argument]
  • Recognition: spelling resolved
  • Enforcement: 2/2 of the expected violations reported
mir 0.70.1mir 0.70.1 Widened to string

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/2 of the expected violations reported
phpantom 0.9.0phpantom_lsp 0.9.0 Not enforced

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/2 of the expected violations reported
intelephense 1.18.5intelephense 1.18.5 Widened to string

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/2 of the expected violations reported
phpy 0.2.0phpy 0.2.0 Not enforced

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/2 of the expected violations reported
qodana 262.8665.325Qodana 262.8665.325 Not enforced

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/2 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

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/2 of the expected violations reported
steins 0.1.5steins 0.1.5 (2026-08-12 revision 39b4cc1) Enforced 
phpdoc_advanced_fallback_non_empty_lowercase_string.php:47: argument "" to acceptsNonEmptyLowercaseString() violates declared @param non-empty-lowercase-string $value — declared contract violation [phpdoc.param-mismatch]
phpdoc_advanced_fallback_non_empty_lowercase_string.php:50: argument "ABC" to acceptsNonEmptyLowercaseString() violates declared @param non-empty-lowercase-string $value — declared contract violation [phpdoc.param-mismatch]
  • Recognition: spelling resolved
  • Enforcement: 2/2 of the expected violations reported
phpstan-strict 2.2.8PHPStan - PHP Static Analysis Tool 2.2.8 Enforced 
phpdoc_advanced_fallback_non_empty_lowercase_string.php:47: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedFallbackNonEmptyLowercaseString\acceptsNonEmptyLowercaseString expects lowercase-string&non-empty-string, '' given. [identifier=argument.type]
phpdoc_advanced_fallback_non_empty_lowercase_string.php:50: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedFallbackNonEmptyLowercaseString\acceptsNonEmptyLowercaseString expects lowercase-string&non-empty-string, 'ABC' given. [identifier=argument.type]
  • Recognition: spelling resolved
  • Enforcement: 2/2 of the expected violations reported
psalm-next 7.0.0-beta19Psalm 7.0.0-beta19@7e751c06a756fa64dc4c759c09fe4a173afcb433 Enforced 
phpdoc_advanced_fallback_non_empty_lowercase_string.php:47: Argument 1 of Conformance\Tests\PhpdocAdvancedFallbackNonEmptyLowercaseString\acceptsNonEmptyLowercaseString expects non-empty-lowercase-string, but '' provided [InvalidArgument]
phpdoc_advanced_fallback_non_empty_lowercase_string.php:50: Argument 1 of Conformance\Tests\PhpdocAdvancedFallbackNonEmptyLowercaseString\acceptsNonEmptyLowercaseString expects non-empty-lowercase-string, but 'ABC' provided [InvalidArgument]
  • Recognition: spelling resolved
  • Enforcement: 2/2 of the expected violations reported

Source

<?php

declare(strict_types=1);

namespace Conformance\Tests\PhpdocAdvancedFallbackNonEmptyLowercaseString;

/**
 * `non-empty-lowercase-string`
 *
 * The intersection of two refinements: at least one character, and unchanged by
 * `strtolower()`. The halves fail independently, so `''` is rejected only by the
 * length half and `'ABC'` only by the case half — an analyzer can model one and
 * miss the other. Analyzers that model neither fall back to plain `string` and
 * accept both.
 *
 * References:
 * - PHPStan TypeNodeResolver `non-empty-lowercase-string` resolves to string&AccessoryNonEmptyStringType&AccessoryLowercaseStringType
 */

/**
 * @return non-empty-lowercase-string
 */
function returnsNonEmptyLowercaseString() // T: non-empty-lowercase-string
{
    return 'abc'; // V
}

function acceptsString(string $value): void
{
}

/**
 * @param non-empty-lowercase-string $value
 */
function acceptsNonEmptyLowercaseString($value): void // T: non-empty-lowercase-string
{
}

// A `non-empty-lowercase-string` value always satisfies a native `string` parameter.
acceptsString(returnsNonEmptyLowercaseString()); // V

// A non-empty string with nothing uppercase in it satisfies both halves.
acceptsNonEmptyLowercaseString('abc'); // V
acceptsNonEmptyLowercaseString('123'); // V

// Lowercase, but empty.
acceptsNonEmptyLowercaseString(''); // E?: '' is not a non-empty-lowercase-string

// Non-empty, but not lowercase.
acceptsNonEmptyLowercaseString('ABC'); // E?: 'ABC' is not a non-empty-lowercase-string