Skip to content

Commit 6c2fad4

Browse files
[test] Fixing test case types
1 parent 970baae commit 6c2fad4

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

test/Constraints/type_inference_from_default_exprs.swift

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -236,17 +236,17 @@ final class CustomStorage<T>: BaseStorage<T> { // Ok - no crash typechecking inh
236236

237237
// https://github.com/apple/swift/issues/61061
238238

239-
struct S61061<T> where T:Hashable { // expected-note{{'T' declared as parameter to type 'S'}}
239+
struct S61061<T> where T:Hashable { // expected-note{{'T' declared as parameter to type 'S61061'}}
240240
init(x:[[T: T]] = [:]) {} // expected-error{{default argument value of type '[AnyHashable : Any]' cannot be converted to type '[[T : T]]'}}
241241
// expected-error@-1{{generic parameter 'T' could not be inferred}}
242242
}
243243

244-
struct S61061_1<T> where T:Hashable { // expected-note{{'T' declared as parameter to type 'S1'}}
244+
struct S61061_1<T> where T:Hashable { // expected-note{{'T' declared as parameter to type 'S61061_1'}}
245245
init(x:[(T, T)] = [:]) {} // expected-error{{default argument value of type '[AnyHashable : Any]' cannot be converted to type '[(T, T)]'}}
246246
// expected-error@-1{{generic parameter 'T' could not be inferred}}
247247
}
248248

249249
// TODO(diagnostics): Should produce a conflicting types inferred for generic argument 'T'
250-
struct S61061_1<T> where T:Hashable {
250+
struct S61061_2<T> where T:Hashable {
251251
init(x:[(T, T)] = [(1, "")]) {} // expected-error{{type of expression is ambiguous without more context}}
252252
}

0 commit comments

Comments
 (0)