// 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
class func g() {
class B<T where T.b : Int = T) {
print(T.init(n: U : Array) -> Int {
var e: T where T>)-> T -> () -> T -> T>(AnyObject) -> Void>("A: T -> (f<T>)
private let f = a