test: update Constraints/diagnostics.swift

nkcsgexi · nkcsgexi · commit 1ea431645b75 · 2021-11-23T19:54:25.000-08:00
diff --git a/test/Constraints/diagnostics.swift b/test/Constraints/diagnostics.swift
@@ -573,7 +573,7 @@ func r22263468(_ a : String?) {
   // TODO(diagnostics): This is a regression from diagnosing missing optional unwrap for `a`, we have to
   // re-think the way errors in tuple elements are detected because it's currently impossible to detect
   // exactly what went wrong here and aggregate fixes for different elements at the same time.
-  _ = MyTuple(42, a) // expected-error {{tuple type '(Int, String?)' is not convertible to tuple type 'MyTuple' (aka '(Int, String)')}}
+  _ = MyTuple(42, a) // expected-error {{tuple type '(_const Int, String?)' is not convertible to tuple type 'MyTuple' (aka '(Int, String)')}}
 }
 
 // rdar://71829040 - "ambiguous without more context" error for tuple type mismatch.

Original file line number	Diff line number	Diff line change
`@@ -573,7 +573,7 @@ func r22263468(_ a : String?) {`
`573`	`573`	// TODO(diagnostics): This is a regression from diagnosing missing optional unwrap for `a`, we have to
`574`	`574`	`// re-think the way errors in tuple elements are detected because it's currently impossible to detect`
`575`	`575`	`// exactly what went wrong here and aggregate fixes for different elements at the same time.`
`576`		`- _ = MyTuple(42, a) // expected-error {{tuple type '(Int, String?)' is not convertible to tuple type 'MyTuple' (aka '(Int, String)')}}`
	`576`	`+ _ = MyTuple(42, a) // expected-error {{tuple type '(_const Int, String?)' is not convertible to tuple type 'MyTuple' (aka '(Int, String)')}}`
`577`	`577`	`}`
`578`	`578`
`579`	`579`	`// rdar://71829040 - "ambiguous without more context" error for tuple type mismatch.`