vimeo/psalm

Infer class type based upon result of is_a() function call

Open

#3.629 geöffnet am 22. Juni 2020

Auf GitHub ansehen
 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)PHP (668 Forks)batch import
Help wantedenhancement

Repository-Metriken

Stars
 (5.369 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 3T 12h) (5 gemergte PRs in 30 T)

Beschreibung

https://psalm.dev/r/8a00f9319d

I believe psalm should be able to infer that future calls to \Storage should resolve to \Illuminate\Support\Facades\Storage.

This is laravel's technique for aliasing classes.

If you'd like to provide some notes on how to implement, I'd be happy to take a stab. I'm not sure if the class should just be aliased in the scope of the is_a branch, or across the entire project. I'm thinking it might just need to be within the scope of the conditional

Contributor Guide

Research-Richtung
Überprüfe die Logik zur bedingten Typeinschränkung von Psalm in /src/Psalm/Internal/Analyzer/Statements/Expression/Call/FunctionCallAnalyzer.php. Suche nach der Behandlung von is a() und ähnlichen Funktionen. Erwäge, einen Alias für den Klassentyp im Gültigkeitsbereich des bedingten Zweigs hinzuzufügen.
Tech Stack
php
Domain
developer experiencetooling
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Halber Tag
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
PHP
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
50