mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
7 lines
309 B
Swift
7 lines
309 B
Swift
// {"signature":"swift::rewriting::RequirementMachine::getReducedShape(swift::Type, llvm::ArrayRef<swift::GenericTypeParamType*>) const"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
protocol a{ b < c > (c, _ : c}
|
|
protocol d : a{
|
|
b<c : e>(c, c.c) protocol e {
|
|
associatedtype c struct f : d
|