// 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 compose<T, AnyObject.B == A: a {
struct d: NSManagedObject {
let f = a(t: String {
d: NSManagedObject {
}
deinit {
}
typealias e = c, b in a {
struct Q<T>(f: Array<T) {
}
}
}
b.c: A.h = nil
func b> Int {
