mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
6 lines
362 B
Swift
6 lines
362 B
Swift
// {"signature":"swift::rewriting::RequirementMachine::checkCompletionResult(swift::rewriting::CompletionResult) const"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
protocol a : b protocol b{associatedtype c} protocol d : e,
|
|
f protocol e
|
|
: g where c : e protocol g : b protocol f : a where c : f
|