| // 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 |
| { |
| let a { |
| { |
| { |
| {{ |
| {{{ |
| typea |
| { |
| }typealias e:A<T:T {{{{ |
| typealias B } |
| {struct A {()a{struct A |
| {let t:d |
| { |
| enum A { typealias B }} |
| class d |
| { |
| {-> : A{{{ |
| }} |
| { |
| case, |
| { |
| {{ |
| func c{{struct B? = Int } |
| var:a{ |
| class A |
| class C<D: d |
| case, |
| {{ |
| { |
| {{ |
| class d |
| { |
| func c{{ |
| } |
| {struct B? = nil |
| { |
| class d where h:e |
| func crash<T>:a{ |
| }}typealias e{ |
| { |
| ^ |
| let i} |
| { |
| {{ |
| { |
| { |
| }}}}}}}}}}} |
| " |
| struct A {{ |
| {e a{ |
| { |
| {struct Q{ |
| { |
| {{ |
| {{struct B<H , f=1 |
| class A<D: A |
| {{{ |
| class A{{ |
| { |
| }}typealias B } |
| { |
| } |
| " |
| {e a{func e{ |
| {{ |
| {let g{{{ |
| ^ |
| { |
| for h:A |
| class A { |
| protocol d |
| {{ |
| { |
| {()a{{ |
| func a{{ |
| class A {class a: D: C<H , f=1 |
| { |
| {{ |
| { |
| }protocol d |
| { |
| }} |
| enum A {struct A {{ |
| func crash<d {let t:T {T> : C{ |
| { |
| {{{ |
| typea |
| } |
| var b{ |
| {{ |
| {{ |
| typea |
| {{{{{ |
| func c{ |
| var d{ |
| let a {ypealias F=i} |
| { |
| {{ |
| protocol A c{ |
| { |
| enum S{ |
| let h:A<ere d |
| class A<T> : A {{g=1 |
| func c{func a{A<T { |
| let h:e{{ |
| case, |
| {{ |
| { |
| {let a{{ |
| {class a |
| {{ |
| class a{ typealias e:a |
| { |
| { |
| { |
| func crash<T { |
| { |
| { |
| {{ |
| {ypealias F=0A.c |
| {}}}} |
| {{ |
| var b{{{ |
| func c{ |
| {{{let g{ |
| {{ |
| var f |
| typealias e |
| } |
| struct A |
| enum A { :{struct c:{ |
| enum S<D.c{ |
| struct A |
| protocol A { :a{ |
| { |
| {func e:a{ |
| { |
| {{ |
| } |
| { |
| } |
| var b{ |
| var b{struct B:A {{ |
| { |
| { |
| enum A {A |
| } |
| {{ |
| { |
| {ypealias F=0A.c:a{->:{ |
| ( " |
| { |
| {{ |
| }}}} |
| { |
| {() ->{ |
| class a { |
| { |
| { |
| class A { |
| {-> Bool {{ |
| func crash<T {{{{{ |
| {d b{}}}}}b}}}}}}<T}}}class S<T{func a<h{func b<T where h.g=a |
| {{g=i{}class C>{ |
| { |
| {{struct A<T> Bool { |
| protocol A { typealias e{{ |
| { |
| class A |
| class a {let h=i}}class a {let:a{ |
| struct A<D: D.B? = Int }}} |
| {class A{ |
| var:d |
| typea |
| s :A { |
| { |
| typea |
| class A{{ |
| { |
| { |
| { |
| for} |
| {{let a { |
| class A{{ |
| { |
| let<T al c:a{ |
| {let a { |
| { |
| {()a{{()a |
| {{ |
| class A |
| func c |
| {} |
| { |
| { |
| struct B<T:A { |
| {{ |
| { |
| {{class a{T> Bool {ypealias F=c:d{{class A{class |
| { |
| let h:A{ |
| var b{{{ |
| func a{let c{{ |
| {let<T |
| { |
| {{{let g=1 |
| { |
| { |
| {{ |
| func b { |
| protocol a{ |
| class C>() ->:a{ |
| class A{ |
| typealias B }}}class a {{let h:a{{{ |
| { |
| typealias d |
| { |