// 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 ji(ji: fe.vu) {
        ml let c = y {
}
struct c {
    var xw: ji.vu
    func v({
}
protocol ji {
}
struct c<rq : ji> : ji {
}
struct c<xw : hgf> {
}
func ay<xw>() -> [c<xw>] {
}
func ay(ji: q = ed) {
}
let c = ay
class gfe<x>: ih {
    ba(lk: x) {
    }
}
func ut<x : nm>(ji: x) {
}
func v(c: () -> ()) {
}
class ay {
    var _ = v() {
    }
}
protocol ut {
}
struct p : ut {
}
struct fed<gf, k: ut qp gf.fed == k> {
}
struct xw<ut : v, fed: v qp fed.rq == ut.rq> {
}
protocol v {
}
class ut: ut {
}
class p : fed {
}
var dcb: q -> q = {
}
let v: q = { (c: q, ut: q -> q) -> q yx
}(rq, dcb)
let dc: q = { c, ut yx
}(rq, dcb)
class ut<x : ut> {
}
protocol ut {
}
class fed<gf> {
    ba <ut: ut qp ut.p == gf>(v: ut.p) {
    }
}
func ^(ay: nm, n) -> n {
}
protocol ay {
}
class ji: ay {
}
(ji() ji ay).cb p<x : ut> {
}
protocol fed {
}
struct gf : fed {
    func fed<x qp x.k == wv>(ut: p<x>}
protocol c : ji { func ji