Merge pull request #3250 from practicalswift/swiftc-28334-swift-typechecker-resolvetypewitness

Author: swift-ci

validation-test/compiler_crashers/28334-swift-typechecker-resolvetypewitness.swift

@@ -0,0 +1,21 @@
+// This source file is part of the Swift.org open source project
+// Copyright (c) 2014 - 2016 Apple Inc. and the Swift project authors
+// Licensed under Apache License v2.0 with Runtime Library Exception
+//
+// See http://swift.org/LICENSE.txt for license information
+// See http://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
+
+// RUN: not --crash %target-swift-frontend %s -parse
+// REQUIRES: asserts
+{
+enum S<H:A{
+protocol c{
+{
+}
+class A
+class B:A{
+}}
+}
+protocol A{
+typealias e:A
+typealias d