Merge pull request #10364 from practicalswift/swiftc-28776-type-should-have-type-checked-inheritance-clause-by-now

Author: swift-ci

validation-test/compiler_crashers/28776-type-should-have-type-checked-inheritance-clause-by-now.swift

@@ -0,0 +1,13 @@
+// This source file is part of the Swift.org open source project
+// Copyright (c) 2014 - 2017 Apple Inc. and the Swift project authors
+// Licensed under Apache License v2.0 with Runtime Library Exception
+//
+// See https://swift.org/LICENSE.txt for license information
+// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
+
+// REQUIRES: asserts
+// RUN: not --crash %target-swift-frontend %s -emit-ir
+protocol P{typealias a{}class a
+{}typealias a{}class a
+}{extension{class a:P
+protocol A:A