// 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 s() -> o {
        r q {
}
protocol p {
  typealias m = q
}
m r : p {
}
func r<s : t, o : p where o.m == s> (s: o) {
}
func r<s : p where s.m == s> (s: s) {
}
m s<p : u> {
}
class t<s : s, r : s where s.t == r> : q {
}
class t<s, r> {
}
protocol s {
    func r() {
    }
}
func t(s) -> <p>(() -> p) {
}
class q<m : t