Special handling for Array#min, max, etc.
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 35/100
Direzione di ricerca
Inizia leggendo la definizione RBS di Array[Elem]#min e il percorso di inferenza dei tipi per le tuple non vuote. Segui come viene risolto l'esempio [1, 2, 3].min.to_s(2); il lavoro è completato quando min, max e i metodi correlati di una tupla non vuota vengono inferiti come Elem invece di Elem | nil, così che l'esempio non segnali più nil#to_s.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
as = [1, 2, 3]
as.min.to_s(2) #=> [error] failed to resolve overload: nil#to_s
Array[Elem]#min returns Elem | nil in RBS definition. It is correct but it would be useful to return Elem when the receiver is a non-empty tuple.
- Lingua principale
- Ruby
- Stelle
- 833
- Fork
- 99
- Merge medio
- 9h 30m
- PR unite (30g)
- 12
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di ruby/typeprof
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 28/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
-
invalid option: --init Aperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 38/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 30/100
Tutte le issue di ruby/typeprof
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
palladius/rails8-app-on-gcp#145 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
rubocop/rubocop-rspec#2236 ·
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
riscv/riscv-unified-db#2624 · 1 reazione ·
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 88/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100