1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
// 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 f<p : k, p : k n p.d> : o {
}
class fclass func i()
}
i
(d() as e).j.i()
d
protocol i : d { func d
a=1 as a=1
}
func a<g>() -> (g, g -> g) -> g {
var b: ((g, g -> g) -> g)!
return b
}
func f<g : d {
return !(a)
enum g {
func g
var _ = g
func f<T : Boolean>(b: T) {
}
f(true as Boolean)
struct c<d: Sequence, b where Optional<b> == d.Iterator.Element>
var f = 1
var e: Int -> Int = {
return $0
}
let d: Int = { c, b in
}(f, e)
classwhere A.B == D>(e: A.B) {
}
}
func a() as a).dynamicType.c()
func prefix(with: String) -> <T>(() -> T) -> String {
return { g in "\(with): \(g())" }
}
struct d<f : e, g: e where g.h == f.h> {
}
protocol e {
typealias h
}
protocol a : a {
}
funcol n {
j q
}
protocol k : k {
}
class k<f : l, q : l p f.q == q> {
}
protocol l {
j q
j o
}
struct n<r : l>
class c {
func b((Any, c))(a: (Any, AnyObject)) {
b(a)
}
}
|
