validation-test/compiler_crashers_2_fixed/0200-rdar48994748.swift

// RUN: not %target-swift-frontend -typecheck %s

protocol P {
  associatedtype T
}

class G<T : P> {
  init(_: T.T) {}
}

class Sub : G<S> {}

struct S : P {}

Sub()