swift
Plumb Through Parameterized Protocol Existentials
#41743
Merged
Overview
Commits
8
Changes
View On GitHub

Plumb Through Parameterized Protocol Existentials #41743

CodaFi merged 8 commits into swiftlang:main from CodaFi:existential-dread
CodaFi
CodaFi Register Parameterized Protocol Abbreviation
e2f7d516
CodaFi Define Mangling for ParameterizedProtocol
3b3ff6a5
CodaFi Pretty-Print Bound Demangled Parameterized Protocols
f7b2a8ec
CodaFi Allow Retrieving Nominal Types from PPTs
e3119a83
CodaFi Unify ParameterizedProtocolTypes
635d253e
CodaFi Unlock Parameterized Existentials Behind 'any'
e2ed202d
CodaFi Unlock Opaque Types in Parameterized Protocols
4efcb825
CodaFi CodaFi changed the title Plumb Through Parameterized Protocols Plumb Through Parameterized Protocol Existentials 3 years ago
CodaFi Add a Compiler Crasher
0aead281
CodaFi CodaFi force pushed to 0aead281 3 years ago
CodaFi
CodaFi CodaFi merged 512ebc52 into main 3 years ago
CodaFi CodaFi deleted the existential-dread branch 3 years ago
slavapestov
slavapestov commented on 2022-03-09

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum