mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
d90117bb8a
Argument-to-Parameter mismatch handles conformance failures related to arguments, so the logic in `MissingConformanceFailure` which wasn't entirely correct is now completely obsolete. Resolves: rdar://problem/56234611
30 lines
1.6 KiB
Swift
30 lines
1.6 KiB
Swift
// RUN: %target-typecheck-verify-swift
|
|
|
|
// Positive and negative tests for String index types
|
|
func acceptsCollection<I: Collection>(_: I) {}
|
|
func acceptsBidirectionalCollection<I: BidirectionalCollection>(_: I) {}
|
|
func acceptsRandomAccessCollection<I: RandomAccessCollection>(_: I) {}
|
|
// expected-note@-1 {{where 'I' = 'String.UTF8View'}}
|
|
// expected-note@-2 {{where 'I' = 'String.UnicodeScalarView'}}
|
|
// expected-note@-3 {{where 'I' = 'String.UTF16View'}}
|
|
// expected-note@-4 {{where 'I' = 'String'}}
|
|
|
|
func testStringCollectionTypes(s: String) {
|
|
acceptsCollection(s.utf8)
|
|
acceptsBidirectionalCollection(s.utf8)
|
|
acceptsRandomAccessCollection(s.utf8) // expected-error{{global function 'acceptsRandomAccessCollection' requires that 'String.UTF8View' conform to 'RandomAccessCollection'}}
|
|
|
|
// UTF16View is random-access with Foundation, bidirectional without
|
|
acceptsCollection(s.utf16)
|
|
acceptsBidirectionalCollection(s.utf16)
|
|
acceptsRandomAccessCollection(s.utf16) // expected-error{{global function 'acceptsRandomAccessCollection' requires that 'String.UTF16View' conform to 'RandomAccessCollection'}}
|
|
|
|
acceptsCollection(s.unicodeScalars)
|
|
acceptsBidirectionalCollection(s.unicodeScalars)
|
|
acceptsRandomAccessCollection(s.unicodeScalars) // expected-error{{global function 'acceptsRandomAccessCollection' requires that 'String.UnicodeScalarView' conform to 'RandomAccessCollection'}}
|
|
|
|
acceptsCollection(s)
|
|
acceptsBidirectionalCollection(s)
|
|
acceptsRandomAccessCollection(s) // expected-error{{global function 'acceptsRandomAccessCollection' requires that 'String' conform to 'RandomAccessCollection'}}
|
|
}
|