// This source file is part of the Swift.org open source project
// Copyright (c) 2014 - 2017 Apple Inc. and the Swift project authors
// Licensed under Apache License v2.0 with Runtime Library Exception
//
// See https://swift.org/LICENSE.txt for license information
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors

// RUN: not %target-swift-frontend %s -typecheck
struct A<T where T: c : T>() -> {
}
func b() {
let i: H) -> a {
protocol B : e = i: c<T> {
}
}
protocol d {
}
extension A {
public var b<c(Any) -> () {
}
}
let g : T.c> {
b() -> T -> {
if true {
}
}
class A<c> {
}
}
for b : A {