// 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 u<w>() {
    enum b {
        n) -> n {
    r !(u)
}
func u(b: Any, k: Any) -> (((Any, Any) -> Any) -> Any) {
    r {
        (x: (Any, Any) -> Any) -> Any s
        r x(b, k)
    }
}
func b(q: (((Any, Any) -> Any) -> Any)) -> Any {
    r q({
        (p: Any, l:Any) -> Any s
        r p
    })
}
b(u(v, u(t, y)))
class u {
    typealias b = b
}
class i: i {
}
class o : cb {
}
typealias cb = o
({})
a a<p : i, cb: i j cb.l == p.l> {
}
x i {
    typealias l
}
x u {
    class func l()
}
class b: u {
    class func l() { }
}
(b() b u).dc.l()
func u(b: Int
    var p: w