swiftlang/swift

Code completion: Stop suggesting old-style protocol metatype syntax in Swift 6 mode

Open

#65.699 aperta il 5 mag 2023

Vedi su GitHub
 (9 commenti) (0 reazioni) (1 assegnatario)Swift (10.719 fork)batch import
bugcode completionexistentialsgood first issuemetatypessource toolingswift 5.9typesunexpected behavior

Metriche repository

Star
 (69.989 star)
Metriche merge PR
 (Merge medio 8g 17h) (510 PR mergiate in 30 g)

Descrizione

In Swift 6 mode, [.]Protocol1 is no longer a valid suggestion. Per SE-0335, we should suggest two distinct [.]Type1 completions for a plain protocol/composition — one aiming at any P.Type and another aiming at (any P).Type — that also insert a missing any prefix, and parenthesize the acted-upon existential in the second case.

Test case (should not succeed):

// RUN: %empty-directory(%t)
// RUN: %target-swift-ide-test -batch-code-completion -source-filename %s -filecheck %raw-FileCheck -completion-output-dir %t -swift-version 6

protocol P {}

let _: P#^COMPLETE1?check=META^#
let _: any P#^COMPLETE2?check=META^#
let _: (any P)#^COMPLETE3?check=META^#

// META: Keyword/None: .Protocol[#(any P).Type#]; name=Protocol

Environment

  • Swift 5.9-dev (c1d5118c21d)

Footnotes

  1. [x] means x is optional ↩ ↩2

Guida contributor

Direzione di ricerca
Indaga il modulo di completamento del codice nel compilatore Swift, in particolare la logica che genera suggerimenti per i metatipi di protocollo. Fai riferimento a SE 0335 per il nuovo comportamento. Il caso di test fornito dovrebbe essere utilizzato per verificare che la vecchia sintassi `.Protocol` non venga più suggerita. Assicurati che i nuovi completamenti `any P.Type` e `(any P).Type` vengano emessi correttamente. Rivedi il file sorgente sotto test e l'infrastruttura di completamento del codice in batch.
Tech stack
swift
Dominio
developer experiencetooling
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Swift
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60