@@ -258,13 +258,7 @@ public func checkCollection<${genericParam}, C : Collection>(
258
258
resiliencyChecks: CollectionMisuseResiliencyChecks = . all ,
259
259
sameValue: ( ${ Element} , ${ Element} ) -> Bool
260
260
) where C. Iterator. Element == ${ Element} ,
261
- // FIXME(ABI) (Associated Types with where clauses): these constraints should be applied to
262
- // associated types of Collection.
263
- C . Indices. Iterator. Element == C . Index,
264
- C . SubSequence : Collection,
265
- C . SubSequence. Iterator. Element == ${ Element} ,
266
- C . SubSequence. Indices. Iterator. Element == C . Index,
267
- C . SubSequence. Index == C . Index {
261
+ C. SubSequence : Collection {
268
262
269
263
checkForwardCollection( expected , collection , message( ) ,
270
264
stackTrace: stackTrace , showFrame: showFrame , file: file , line: line ,
@@ -284,11 +278,7 @@ public func check${Traversal}Collection<
284
278
resiliencyChecks: CollectionMisuseResiliencyChecks = . all
285
279
) where
286
280
C . Iterator. Element == ${ Element} ,
287
- C . Indices. Iterator. Element == C . Index,
288
281
C . SubSequence : ${ TraversalCollection} ,
289
- C . SubSequence. Iterator. Element == ${ Element} ,
290
- C . SubSequence. Indices. Iterator. Element == C . Index,
291
- C . SubSequence. Index == C . Index,
292
282
${ Element} : Equatable {
293
283
294
284
check ${ Traversal} Collection(
@@ -309,13 +299,7 @@ public func check${Traversal}Collection<
309
299
sameValue: ( ${ Element} , ${ Element} ) - > Bool
310
300
) where
311
301
C . Iterator. Element == ${ Element} ,
312
- // FIXME(ABI) (Associated Types with where clauses): these constraints should be applied to
313
- // associated types of Collection.
314
- C . Indices. Iterator. Element == C . Index,
315
- C . SubSequence : ${ TraversalCollection} ,
316
- C . SubSequence. Iterator. Element == ${ Element} ,
317
- C . SubSequence. Index == C . Index,
318
- C . SubSequence. Indices. Iterator. Element == C . Index {
302
+ C . SubSequence : ${ TraversalCollection} {
319
303
320
304
checkOneLevelOf ${ Traversal} Collection( expected, collection, ${ trace} ,
321
305
resiliencyChecks: resiliencyChecks, sameValue: sameValue)
0 commit comments