mirror of
https://github.com/apple/swift.git
synced 2026-10-08 12:50:50 +02:00
Hamish Knight
905e8a04c3
The erasing we're doing here is only for printing purposes, that doesn't really matter for the replacement types and avoids running into a crash where we incorrectly grab the wrong generic signature.
12 lines
401 B
Swift
12 lines
401 B
Swift
// {"kind":"complete","original":"ac690622","signature":"swift::rewriting::RequirementMachine::verify(swift::rewriting::MutableTerm const&) const"}
|
|
// RUN: %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
|
|
protocol a {
|
|
associatedtype b
|
|
func c -> b
|
|
struct d<e: Collection, f
|
|
>: a
|
|
where e.Element ==
|
|
{
|
|
c -> some a {
|
|
self#^^#
|