blob: 408e262ac0f78dd82e7e62353591972359511570 [file] [log] [blame]
// 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