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

struct Bar : BarProtocol {
    typealias Element = Int
}

struct Foo: FooProtocol {
    typealias Things = Bar
    func thing() -> Thing {}
}

protocol BarProtocol {
    associatedtype Element
}

protocol FooProtocol {
    associatedtype Things: BarProtocol
    typealias Thing = Things.Element
}