| // 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 f() { |
| ({}) |
| } |
| a |
| } |
| s: X.Type) { |
| } |
| } |
| class c { |
| func b((Any, c))(a: { u o "\(v): \(u())" } |
| } |
| struct e<r> { |
| j p: , () -> ())] = [] |
| } |
| prtocolAny) -> Any in |
| return p |
| }) |
| } |
| b(a(1, a(2, 3))) |
| func f Boolean>(b: T) { |
| } |
| f( func b( d |
| { |
| o t = p |
| } |
| struct h : n { |
| t : n q m.t == m> (h: m) { |
| } |
| func q<t : n q t.t == g> (h: t) { |
| } |
| q(h()) |
| func r(g: m) -> <s>(() -> s) -> n |
| protocol A { |
| typealias E |
| } |
| struct B<T : A> { |
| let h: T |
| let i: T.E |
| } |
| protocol C { |
| typealias F |
| fu { |
| o } |
| } |
| s m { |
| class func s() |
| } |
| class p: m{ cl |