validation-test/compiler_crashers_2/0130-sr5013.swift

// RUN: not --crash %target-swift-frontend -typecheck %s
// REQUIRES: asserts

protocol A {
    associatedtype B
}

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