// Distributed under the terms of the MIT license
// Test case submitted to project by https://github.com/practicalswift (practicalswift)
// Test case found by fuzzing

struct S<T where T where g: d = true as S<T where g.B : NSObject {
struct S<T where B : e where g: NSObject {
struct Q<T : b
struct Q<T where T) {
protocol A : NSObject {
struct S<T where H.h == f : NSObject {
struct S<T) {
let a {
func a: NSObject {
st
