Merge pull request #8064 from practicalswift/swiftc-28719-currentcons…

…traintsolverarena-no-constraint-solver-active
swiftlang · Mar 14, 2017 · 15431e9 · 15431e9
2 parents dced34a + e3d7ff9
commit 15431e9
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/...st/compiler_crashers/28719-currentconstraintsolverarena-no-constraint-solver-active.swift b/...st/compiler_crashers/28719-currentconstraintsolverarena-no-constraint-solver-active.swift
@@ -0,0 +1,11 @@
+// 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
+:{func t(UInt=1 + 1 + 1 as?Int){[.s
+nil?Int