Skip to content

Commit 1eaf9cf

Browse files
committed
Remove redundant constraints on existentials/mirrors
1 parent f4740d7 commit 1eaf9cf

File tree

2 files changed

+1
-4
lines changed

2 files changed

+1
-4
lines changed

stdlib/public/core/ExistentialCollection.swift.gyb

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -427,8 +427,8 @@ internal class _AnyRandomAccessCollectionBox<Element>
427427
@_versioned
428428
internal final class _${Kind}Box<S : ${Kind}> : _Any${Kind}Box<S.Element>
429429
where
430-
S.SubSequence : ${Kind},
431430
% if Kind == 'Sequence':
431+
S.SubSequence : ${Kind},
432432
S.SubSequence.Element == S.Element,
433433
S.SubSequence.SubSequence == S.SubSequence
434434
% else:
@@ -1040,7 +1040,6 @@ public struct ${Self}<Element>
10401040
where
10411041
// FIXME(ABI)#101 (Associated Types with where clauses): these constraints should be applied to
10421042
// associated types of Collection.
1043-
C.SubSequence : ${SubProtocol},
10441043
C.SubSequence.Element == Element,
10451044
C.SubSequence.Indices : ${SubProtocol},
10461045
C.Indices : ${SubProtocol}

stdlib/public/core/Mirror.swift

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -218,7 +218,6 @@ public struct Mirror {
218218
C.Element == Child,
219219
// FIXME(ABI)#47 (Associated Types with where clauses): these constraints should be applied to
220220
// associated types of Collection.
221-
C.SubSequence : Collection,
222221
C.SubSequence.Indices : Collection,
223222
C.Indices : Collection {
224223

@@ -270,7 +269,6 @@ public struct Mirror {
270269
) where
271270
// FIXME(ABI)#48 (Associated Types with where clauses): these constraints should be applied to
272271
// associated types of Collection.
273-
C.SubSequence : Collection,
274272
C.Indices : Collection {
275273

276274
self.subjectType = Subject.self

0 commit comments

Comments
 (0)