validation-test/compiler_crashers_2_fixed/0114-rdar33189068.swift

// 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
}