Nested shapes loses `non-empty-string`

[bendavies]

Hi,

The following works:

$payload = Type\shape([
  'repository' => Type\non_empty_string(),
])->coerce($payload);

PHPStan\dumpType($payload);

dumps

 Dumped type: array{repository: non-empty-string}

however, the non_empty_string is lost if nested:

$payload = Type\shape([
    'repository' => Type\non_empty_vec(
        Type\shape([
            'name' => Type\non_empty_string(),
        ]),
    ),
])->coerce($payload);

\PHPStan\dumpType($payload);

dumps

Dumped type: array{repository: non-empty-list<array{name: string}>}

[ondrejmirtes]

What about with bleeding edge?

[bendavies]

yes, bleeding edge is on.

[jrmajor]

Here's a failing test case, feel free to cherry pick it: 00d0cdc.

[lstrojny]

I can confirm that this is still happening with phpstan 2.1.21 and php-standard-library/phpstan-extension 2.0.0 with bleeding edge enabled.

[MartkCz]

A similar error occurred for me as well. However, once I changed from @template T to @template-covariant T, the result then included non-empty-string. But of course, PHPStan complained with
Variance annotation is only allowed for type parameters of classes and interfaces, but occurs in template type T in method ...