`[.]Type` completion for `(any P).` shows it will produce an existential metatype

Open

#65,843 opened on May 10, 2023 32 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty: 3/5
Estimated time: 1-2 days
Newbie friendliness: 45/100

Issue type: Bug
Clarity: Clearly specified
Activity status: Stale
Tech stack: swift
Domain: tooling

Research direction

Start with the supplied swift-ide-test batch code-completion case and compare its current output with the FileCheck expectation for (any P).Type. Done means the completion output identifies the result as the singleton metatype (any P).Type, rather than the existential metatype any P.Type.

Written by the indexing model from the issue text.

Description

bug code completion existentials good first issue IDE support metatypes swift 5.9 types unexpected behavior

Test case:

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

(any P).#^COMPLETE?check=META^# 
// META: Keyword/CurrNominal:  Type[#(any P).Type#]; name=Type

This test will fail, because the current completion is Type[#any P.Type#]; name=Type. Notice how it thinks the completion will produce an existential metatype any P.Type, whereas the actual result is the singleton metatype (any P).Type.

Note
any syntax was proposed in SE-0335.

Environment

Swift 5.9-dev (c1d5118c21da49a9c2194734cbf9b6970bc63056)

Dominant language: Swift
Stars: 70.4k
Forks: 10.8k
Avg merge: 2d 2h
Merged PRs (30d): 461

Contributor guide

Open the contributing guide

First steps

Read the whole issue, then the project's contributing guide.
Comment on the issue to say you are picking it up — it saves two people doing the same work.
Fork the repository and make your change on a branch.
Open a pull request that references the issue number.

Similar issues

wkt: fix swapped doc comments on Timestamp.minSeconds and Timestamp.maxSeconds Open

type: docs

Difficulty 1/5 Under an hour Newbie friendliness 95/100

googleapis/google-cloud-swift#971 · Opened Sep 21, 2026
CI: remove unecessary rustflags argument once we bump to Rust 1.97+ Open

Difficulty 2/5 1-3 hours Newbie friendliness 76/100

bitcoindevkit/bdk-ffi#1125 · Opened Sep 21, 2026
Move wallpaper setting Open

Difficulty 2/5 1-3 hours Newbie friendliness 72/100

mozilla-mobile/firefox-ios#35743 · Opened Sep 21, 2026
0.64.25 workspace.reorder with out-of-range index crashes app (unchecked Array.insert) Open

Difficulty 2/5 1-3 hours Newbie friendliness 84/100

manaflow-ai/cmux#13417 · Opened Sep 21, 2026
[Bug]: Plugin call after navigation can be answered before reply proxy is updated Open

triage

Difficulty 2/5 1-3 hours Newbie friendliness 84/100

ionic-team/capacitor#8616 · Opened Sep 21, 2026

More Swift issues