blob: 396377a9d30dc967e478fadbe68f06a452f24cdf [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
(""")
enum b {
func a()
class b: NSObject {
struct e = B.b = F>(range.<T> S {
}
}
func b: (e: NSManagedObject {
}
}
init <S : C<H : AnyObject, e> []()
typealias e = F
protocol a {
typealias d, e? = A? = a<S {
extension NSSet {
enum A : a {
convenience init()
protocol d : Boolean, let foo as a<T: C(x()
extension NSSet {
}
}
struct c : l.d where k) {
}
return S) {
}
convenience init<d(i<I : A, i : String)
}
func e<b<T, c) -> T, y)] in
}
class A, a(b> ()")
return NSData(f(p: a {
func a(i<T: C> : a {
func g: a {
let b = 0
typealias E
class A.Element == {
}
func compose<d
struct A {
}
typealias f = T>()
}
}
protocol b in x in c in 0) -> {
() -> e? = b: a = c: Bool)
print(Any) -> () {
}
protocol a {
func c<h.A<B = b, () -> V, U))
protocol c : C: S<T.C(h: 1
struct B, object2)(m(f() {
for () -> {
for c == compose(Any) -> A where S((a<T) -> (Any) ->?
}
class a(a<T>() -> {
let c) {
enum A where Optional<T>: NSObject {
}
}
override func x: a {
}
}
import Foundation
class c> {
protocol A {
}
self.Type) -> {
}
struct c = {
func b<Int
func b> Int = c
f() -> Any, (B)
t: T>) {
}
}
init(range: Collection where A: B<T>(self)
return {
}
return "foobar"]([c()
func i: start, ((object1, a: Sequence> V, c(T, object2)
enum b : ExtensibleCollectionType>("
func b: Bool) -> d.dynamicType)
protocol B : d) {
}
protocol a {
}
protocol a {
map(e!)
func f(T> {
typealias b where f<T>) -> {
}
}
return S<d: A? {
}
protocol c {
}
func b()
case .Type) -> {
let a: 1], A = [Byte]
}
typealias d : d = F>(((a(a()
return S(b() -> {
})
func g<d) -> [c
return x in x in a {
}
print(e? {
}
let end = {
}
}
return nil
protocol d : Any) -> {
protocol a {
protocol P {
return self.B<C({
init(()
}
protocol c : ())?) -> () {
let d
case b = {
func f.A.<B : b: A : [1)
}
protocol b {
}
}
(())
["""""\(t: P {
}
}
class func f<S : d where I.d
class func a!(T>?
}
}
}
enum A {
0
}
[])
protocol d