validation-test/compiler_crashers_2_fixed/0130-sr5013.swift

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


protocol A {
    associatedtype B
}

extension A {
    func foo() {
        (B.self as! Sequence.Type).Element
    }
}