Opaque parameters #40993
Opaque parameters #40993
Conversation
|
@swift-ci please smoke test |
|
@swift-ci please build toolchain |
|
Awesome!
That |
Right, thanks |
|
Linux Toolchain (Ubuntu 16.04) Install command |
DougGregor
force-pushed
the
opaque-parameters
branch
from
10d75b3
to
842ab9d
Compare
|
@swift-ci please smoke test |
|
@swift-ci please build toolchain |
|
Linux Toolchain (Ubuntu 16.04) Install command |
|
macOS Toolchain Install command |
Implement function parameters of the form `some P` be synthesizing an
implicit generic parameter whose requirements come from the opaque
type. We then map the opaque type back to the generic parameter, and
print as the opaque type. This allows us to write functions with
implicit generic parameters:
```swift
func f(_: some Collection) { }
```
which is equivalent to:
```swift
func f<T: Collection>(_: some T) { }
```
where `T` is an otherwise-unused generic parameter name.
All of this is behind the experimental frontend flag
`-enable-experimental-opaque-parameters`.
When printing the generic parameters and requirements clauses of declarations that involve opaque parameters, suppress the implicit generic parameters created by the opaque parameters as well as the generic requirements that involve said parameters.
That way, they can be used with Swift interfaces.
DougGregor
force-pushed
the
opaque-parameters
branch
from
842ab9d
to
66e12e8
Compare
|
@swift-ci please smoke test |
|
@swift-ci please build toolchain |
|
Linux Toolchain (Ubuntu 20.04) Install command |
|
@swift-ci please smoke test |
|
@swift-ci please build toolchain |
|
Linux Toolchain (Ubuntu 20.04) Install command |
Implement function parameters of the form
some Pbe synthesizing animplicit generic parameter whose requirements come from the opaque
type. We then map the opaque type back to the generic parameter, and
print as the opaque type. This allows us to write functions with
implicit generic parameters:
which is equivalent to:
where
Tis an otherwise-unused generic parameter name.All of this is behind the experimental frontend flag
-enable-experimental-opaque-parameters.Tracked via rdar://86032821