vimeo/psalm

wrong template detection in composed instance

Ouverte

#6 957 ouverte le 22 nov. 2021

Voir sur GitHubGuide contributeur
 (2 commentaires) (0 réaction) (0 personne assignée)PHP (668 forks)batch import
Help wantedtemplatestype providers

Métriques du dépôt

Stars
 (5 369 étoiles)
Métriques de merge PR
 (Merge moyen 3j 12h) (5 PRs mergées en 30 j)

Description

Consider this snippet of code https://psalm.dev/r/6731c85f04

Given an object of type Iso<S, A>, its to method should be a function from S to A.

Passing an object $that of type Iso<A, C> as a parameter to a method of the ISO<S, A> object and checking the type of its to method, I would expect to get callable(A): C. Instead I get a callable(S): A. This is weird because $that doesn't know anything about the S template

Guide contributeur

Direction de recherche
Examinez la logique de résolution des modèles dans le système de types de Psalm, en particulier la gestion des génériques composés comme Iso<S,A> et Iso<A,C> lors de l'appel de méthodes sur des instances. Recherchez où les paramètres de modèle sont résolus de manière incorrecte aux types de l'instance externe.
Stack technique
php
Domaine
tooling
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
PHP
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
50