🌐 AI搜索 & 代理 主页
Skip to content

[TypeInfo] Fix handling ConstFetchNode #60820

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
nicolas-grekas merged 1 commit into from
Jun 27, 2025
Merged

[TypeInfo] Fix handling ConstFetchNode #60820

nicolas-grekas merged 1 commit into from
Jun 27, 2025

Conversation

@norkunas
Copy link
Contributor

@norkunas norkunas commented Jun 18, 2025 •
edited
Loading

Q A
Branch? 7.2
Bug fix? yes
New feature? no
Deprecations? no
Issues Fix #...
License MIT

I cannot upgrade to 7.3 because I get:

  In StringTypeResolver.php line 88:
!!                                                                                 
!!    Cannot resolve "array{requirement: ProductLicense::SYSTEM_REQUIREMENT_*, va  
!!    lue: non-empty-string}".                                                     
!!                                                                                 
!!  
!!  In StringTypeResolver.php line 142:
!!                                                                                 
!!    Unhandled "PHPStan\PhpDocParser\Ast\ConstExpr\ConstFetchNode" constant expr  
!!    ession.                                                                      
!!

@carsonbot

This comment was marked as outdated.

Sign in to view
@carsonbot carsonbot added this to the 7.4 milestone Jun 18, 2025
@norkunas norkunas changed the base branch from 7.4 to 7.2 June 18, 2025 11:22
@norkunas
Copy link
Contributor Author

norkunas commented Jun 18, 2025

Hmm, this is not the right fix :(

@norkunas norkunas force-pushed the typeinfo-const-fetch-node branch from 38d6ac6 to 526b002 Compare June 18, 2025 11:26
@norkunas norkunas requested a review from dunglas as a code owner June 18, 2025 11:26
@norkunas norkunas force-pushed the typeinfo-const-fetch-node branch from 526b002 to 6e237a9 Compare June 18, 2025 11:42
@norkunas
Copy link
Contributor Author

norkunas commented Jun 18, 2025

Changed implementation from returning Type::string() to any union-scalar

@stof
Copy link
Member

stof commented Jun 18, 2025

Constants are not even restricted to scalars in recent PHP versions.

The right fix would involve looking at the fetched constants.

@OskarStark OskarStark changed the title [TypeInfo] Fix handling ConstFetchNode [TypeInfo] Fix handling ConstFetchNode Jun 18, 2025
@OskarStark OskarStark modified the milestones: 7.4, 7.2 Jun 18, 2025
@norkunas norkunas force-pushed the typeinfo-const-fetch-node branch from 6e237a9 to 48f648b Compare June 19, 2025 09:55
@norkunas
Copy link
Contributor Author

norkunas commented Jun 19, 2025

I've updated implementation

@norkunas norkunas force-pushed the typeinfo-const-fetch-node branch 3 times, most recently from 4173b66 to 606a4ab Compare June 19, 2025 10:23
stof
stof requested changes Jun 19, 2025
View reviewed changes
@norkunas norkunas force-pushed the typeinfo-const-fetch-node branch from 606a4ab to 3d5c90d Compare June 19, 2025 10:48
@norkunas
Copy link
Contributor Author

norkunas commented Jun 20, 2025

I'm not sure how to fix the failing serializer test. For me it looks like that it's an invalid test, because it defines self::* on an anonymous class but does not define any constant. Then later of course it fails because it's an union type, but for now when no matched constants were found it returns Type::null and as property defines also null, it tries to pass Type::null to Type::union twice.

@stof stof mentioned this pull request Jun 24, 2025
Closed
@norkunas norkunas force-pushed the typeinfo-const-fetch-node branch from 3d5c90d to 2ac811b Compare June 26, 2025 04:31
@norkunas
Copy link
Contributor Author

norkunas commented Jun 26, 2025

@stof @mtarld so I just fixed the wrong test from Serializer, please review when you can :)

@norkunas
Copy link
Contributor Author

norkunas commented Jun 26, 2025

I'm not sure how to fix property info though, as test passes for me locally

@norkunas norkunas force-pushed the typeinfo-const-fetch-node branch from d520350 to ec86f71 Compare June 27, 2025 11:05
@norkunas
Copy link
Contributor Author

norkunas commented Jun 27, 2025

Thanks, updated

@norkunas norkunas force-pushed the typeinfo-const-fetch-node branch from ec86f71 to 6f49fc6 Compare June 27, 2025 11:24
@stof
Copy link
Member

stof commented Jun 27, 2025

For the lowest-deps job, I suggest instead bumping the min version of type-info in property-info to use ^7.2.8 (i.e. the next 7.2 release that will contain the fix). It makes maintenance easier than having conditional test assertions depending on the version, while type-into 7.1 is EOL anyway.

@mtarld
Copy link
Contributor

mtarld commented Jun 27, 2025

Agreed, this will make things much more easier.

@norkunas norkunas force-pushed the typeinfo-const-fetch-node branch from 6f49fc6 to 78c60fe Compare June 27, 2025 12:07
@norkunas
Copy link
Contributor Author

norkunas commented Jun 27, 2025

Thank you, both

stof
stof reviewed Jun 27, 2025
View reviewed changes
@norkunas norkunas force-pushed the typeinfo-const-fetch-node branch 2 times, most recently from 7729498 to 6440799 Compare June 27, 2025 12:28
mtarld
mtarld approved these changes Jun 27, 2025
View reviewed changes
@nicolas-grekas nicolas-grekas force-pushed the typeinfo-const-fetch-node branch from d0fdf06 to 03cc607 Compare June 27, 2025 15:23
@nicolas-grekas
Copy link
Member

nicolas-grekas commented Jun 27, 2025

Thank you @norkunas.

@nicolas-grekas nicolas-grekas merged commit 4e3a96f into symfony:7.2 Jun 27, 2025
7 of 11 checks passed
@norkunas norkunas deleted the typeinfo-const-fetch-node branch June 27, 2025 15:24
This was referenced Jun 28, 2025
Merged
Merged
@norkunas norkunas mentioned this pull request Jun 30, 2025
Merged
xabbuh added a commit that referenced this pull request Jun 30, 2025
@xabbuh
bug #60956 [TypeInfo] Fix Type::fromValue incorrectly setting objec…
65eb3eb 
…t type instead of enum (norkunas)

This PR was squashed before being merged into the 7.3 branch.

Discussion
----------

[TypeInfo] Fix `Type::fromValue` incorrectly setting object type instead of enum

| Q             | A
| ------------- | ---
| Branch?       | 7.3
| Bug fix?      | no
| New feature?  | no
| Deprecations? | no
| Issues        | Fix #...
| License       | MIT

Tried to apply #60820 (comment) comment, but found some failing cases

Commits
-------

a0cdd3f [TypeInfo] Fix `Type::fromValue` incorrectly setting object type instead of enum
@norkunas norkunas mentioned this pull request Jul 1, 2025
Merged
fabpot added a commit that referenced this pull request Jul 10, 2025
@fabpot
bug #61014 [TypeInfo] Reuse `CollectionType::mergeCollectionValueType…
c2d6065 
…s` for `ConstFetchNode` (norkunas)

This PR was merged into the 7.3 branch.

Discussion
----------

[TypeInfo] Reuse `CollectionType::mergeCollectionValueTypes` for `ConstFetchNode`

| Q             | A
| ------------- | ---
| Branch?       | 7.3
| Bug fix?      | no
| New feature?  | no
| Deprecations? | no
| Issues        | #60820 (comment)
| License       | MIT

Commits
-------

4187201 [TypeInfo] Reuse `CollectionType::mergeCollectionValueTypes` for `ConstFetchNode`
symfony-splitter pushed a commit to symfony/type-info that referenced this pull request Jul 10, 2025
@fabpot
bug #61014 [TypeInfo] Reuse `CollectionType::mergeCollectionValueType…
b72d44c 
…s` for `ConstFetchNode` (norkunas)

This PR was merged into the 7.3 branch.

Discussion
----------

[TypeInfo] Reuse `CollectionType::mergeCollectionValueTypes` for `ConstFetchNode`

| Q             | A
| ------------- | ---
| Branch?       | 7.3
| Bug fix?      | no
| New feature?  | no
| Deprecations? | no
| Issues        | symfony/symfony#60820 (comment)
| License       | MIT

Commits
-------

41872011b1b [TypeInfo] Reuse `CollectionType::mergeCollectionValueTypes` for `ConstFetchNode`
@renovate renovate bot mentioned this pull request Jul 14, 2025
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@stof stof stof approved these changes

@mtarld mtarld mtarld approved these changes

@dunglas dunglas Awaiting requested review from dunglas dunglas is a code owner

Assignees

No one assigned

Labels

Bug Status: Reviewed TypeInfo

Projects

None yet

Milestone

7.2

Development

Successfully merging this pull request may close these issues.

6 participants

@norkunas @carsonbot @stof @mtarld @nicolas-grekas @OskarStark