| // 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 b=l |
| let:b}struct B{class a=l |
| func a<I func a}}}struct X<T:T.a |
| var f=(" |
| class d<T enum S<h{ |
| typealias F>(" |
| class A{{d |
| enum B{ |
| enum S<T where g: d = [ 1 ) |
| class c{{ |
| protocol A{class d{ |
| {class A{d{ |
| class c<T where g:{}typealias d<I func b{ |
| class A{{class A{ |
| typealias d |
| class A{{{ |
| var _=b{}}}struct S{class S< |
| enum a}b |
| func b |
| {}typealias F>(b=1 |
| var f{class a}}}b}}}struct S<B<H.h=F=b{enum a}struct B{ |
| {class b{let f{ |
| enum S |
| if true{class B{class b<T where h.g=a{ |
| }}typealias F=F>(b< |
| var f=1 |
| let f=1 |
| { |
| }}}struct S{{ |
| func b<I func a<H.h{{class b<T where h.g=a{ |
| class c{{enum a{class b=c{class b{ |
| let a enum b=(" |
| typealias d<I func a{class a{class S<I func b<T where h.g=a{ |
| class B{ |
| func g:d< |
| class |
| func g:e{class c<T where g:e{class c,case |
| struct g mb:d<h{class d<a}}class b<T{ |
| import a{class a enum b{class A{class d} Int] g mb:b:e{class A{class d:d<T where g: AnyObject |
| func a}struct g : AnyObject |
| typealias d<T where g{{{class a {class A{class A{{{ { |
| var f{ |
| class B{class a = d:{func b<let a = [ 1 ) |
| func g:{b { |
| if true{var b |
| {class A{< }}enum a<T where g:Int a |
| let:{{{ |
| }struct X<T:T.a |
| enum S<I func a<I : d = [ 1 ) |
| }struct Q<T{{ {{< }}enum a<T where g:Int a |
| var f{ |
| }struct B<T enum b{{class A{class d |
| func g{{class d{< }}enum a<T where g:Int a |
| class S<T where g:e{}struct B{{}}}struct Q<T where H{ |
| var _=(b{class A{let f=(b{class b<T where h.g=a{ |
| class d:{{ |
| func g: AnyObject |
| class a}class a}}}struct B<T{let a {class a=c,case |
| func a{{ |
| class d<T where g:e{ |
| }struct S<B{class b=(" |
| let f{class b |
| typealias d<T where g:d:d} Int] g : d = d} Int] g : f {class a{ |
| class S<I : d = d<T where g:d |
| func b{class a{b {struct Q< |
| class b{} |
| class c{class d} Int] g mb:{class A{ |
| func p{func p{ |
| class A{class b<T where h.g=a{ |
| }}class a enum S |
| case c{class A{ |
| enum b{struct g : d = [ 1 ) |
| func a<T where g: d where g: d where g: d = d:{ |
| func a}protocol A{func a{var f{ |
| protocol A{ |
| class a{struct S{ |
| class A{d |
| } |
| protocol A{ |
| let : AnyObject |
| class b=c,case |
| if true{ |
| func a{{func a{ |
| { |
| func b |
| let:b |
| struct B{ |
| if true{class c{ |
| { |
| func a}struct S |
| class |
| var f{struct S |
| struct Q<T{ |
| class A{func a<T enum S<T where g:d |
| struct X<T:T.a |
| class A{ |
| protocol a<T where g:{class d:d} Int] g mb:{func g:e{ |
| enum S<T{func b<T where h.g=a{ |
| let f{class d:e{}struct S<T where g: f {class b{class d< |
| let f{class d |
| func a{class d |
| class a{ |
| enum S<I func a{class a}struct B{class A{{{class b<T where h.g=a{ |