validation-test/compiler_crashers_2_fixed/0052-sr3478.swift

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

protocol P {
  associatedtype A
}

struct S : P {
  typealias A = Gen<S>
}

struct Gen<T: P> {}