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

public protocol SomeProtocol {}

public struct Impl<Param>: SomeProtocol where Param: SomeProtocol {}

public struct Wrapper<Content> where Content: SomeProtocol {}

public extension Wrapper where Content == Impl<WrapperParam> {
  typealias WrapperParam = SomeProtocol
}