validation-test/compiler_crashers_2_fixed/0017-rdar21087186.swift

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

protocol Empty {}

extension Empty {
    protocol ThisCrashesSwift {}
}