vimeo/psalm

Incorrect type `ReflectionNamedType::getType()`

Open

#6,756 opened on Oct 27, 2021

View on GitHub
 (13 comments) (1 reaction) (0 assignees)PHP (668 forks)batch import
bugeasy problemsgood first issueinternal stubs/callmap

Repository metrics

Stars
 (5,369 stars)
PR merge metrics
 (Avg merge 3d 12h) (5 merged PRs in 30d)

Description

https://psalm.dev/r/ab315abcbc

Now psalm show: INFO: Trace - 10:5 - $typeName: class-string

But $typeName can be string self and this is not class-string for psalm (example using: https://github.com/yiisoft/definitions/blob/95015024050684cfa7f8759f88974dd54c982265/src/Infrastructure/DefinitionExtractor.php#L138)

Contributor guide

Research direction
Investigate the type inference for ReflectionNamedType::getType() in Psalm's internal type system and understand why it returns class string instead of allowing other strings like 'self'.
Tech stack
php
Domain
backendtooling
Issue type
Bug
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
Half day
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Active
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
PHP
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
40