vimeo/psalm

wrong template detection in composed instance

Aberta

#6.957 aberto em 22 de nov. de 2021

Ver no GitHubGuia do colaborador
 (2 comentários) (0 reação) (0 responsável)PHP (668 forks)batch import
Help wantedtemplatestype providers

Métricas do repositório

Stars
 (5.369 estrelas)
Métricas de merge de PR
 (Mesclagem média 3d 12h) (5 fundiu PRs em 30d)

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

Guia do colaborador

Direção de pesquisa
Examine a lógica de resolução de modelos no sistema de tipos do Psalm, especificamente como os genéricos compostos como Iso<S,A> e Iso<A,C> são tratados ao chamar métodos em instâncias. Procure onde os parâmetros de modelo estão sendo resolvidos incorretamente para os tipos da instância externa.
Pilha de tecnologia
php
Domain
tooling
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
PHP
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
50