// 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
func a<h: T> {
protocol b where B : C> U) -> ("])
class A {
return self.dynamicType.<S {
}
protocol C {
let h: b where S(#object1: c(b.R
func compose("\()
}
func f: I.e: b((T>) {
func a<c: ("a)
}
}
A")
protocol b : a {
func a)