blob: ec7e0f40d52d21b0a1ad27567b3fc1f02ad41c23 [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
class n<j : n> {
}
func k<d {
m k {
func m
k _ = m
}
}
protocol o {
class func k()
}
class m: o {
class func k() { }
}
(m() as o).l n {
{
f m = m
d.j = {
}
{
n) {
o }
}
func f(k: Any, j: Any) -> (((Any, Any) -> Any) -> c
k)
func c<i>() -> (i, i -> i) -> i {
n j: g, j: d
let l = h
l()
f
protocol l : f { func f
protocol h g
}
} {
}
class l<r, l> {
}
protocol n {
j q
}
protocol k : k {
}
class k<f : l, qT> {
let a: [(T, () -> ())] = []
}
rn z({
(p: Any, q:Any) -> Any in
return p
})
}
b(a(1, a(2, 3)))
func a<d>() -> [c{ enum b {
case c