Merge pull request #34505 from CodaFi/verifly

swift-ci · web-flow · commit 28182942d934 · 2020-10-29T19:52:40.000-07:00
diff --git a/validation-test/Sema/type_checker_crashers_fixed/rdar27830834.swift b/validation-test/Sema/type_checker_crashers_fixed/rdar27830834.swift
@@ -1,4 +1,4 @@
-// RUN: %target-swift-frontend %s -typecheck -verify
+// RUN: %target-swift-frontend %s -typecheck
 
 var d = [String:String]()
 _ = "\(d.map{ [$0 : $0] })"

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// RUN: %target-swift-frontend %s -typecheck -verify`
	`1`	`+// RUN: %target-swift-frontend %s -typecheck`
`2`	`2`
`3`	`3`	`var d = [String:String]()`
`4`	`4`	`_ = "\(d.map{ [$0 : $0] })"`