Failing ParseableInterface test

[rxwei]

Failing ParseableInterface test

[rxwei]

Removing @_alwaysEmitIntoClient gets rid of the last error.

--
/Volumes/Media/Development/Swift/swift-source/build/Ninja-ReleaseAssert/swift-macosx-x86_64/lib/swift/macosx/_MatchingEngine.swiftmodule/x86_64-apple-macos.swiftinterface:1460:1: error: type 'TypedIndex<C, 👻>' does not conform to protocol 'RangeReplaceableCollection'
extension _MatchingEngine.TypedIndex : Swift.RangeReplaceableCollection where C : Swift.RangeReplaceableCollection {
^
/Volumes/Media/Development/Swift/swift-source/build/Ninja-ReleaseAssert/swift-macosx-x86_64/lib/swift/macosx/_MatchingEngine.swiftmodule/x86_64-apple-macos.swiftinterface:1460:1: error: unavailable instance method 'replaceSubrange(_:with:)' was used to satisfy a requirement of protocol 'RangeReplaceableCollection'
extension _MatchingEngine.TypedIndex : Swift.RangeReplaceableCollection where C : Swift.RangeReplaceableCollection {
^
Swift.RangeReplaceableCollection:4:26: note: 'replaceSubrange(_:with:)' declared here
    public mutating func replaceSubrange<C>(_ subrange: Range<Self.Index>, with newElements: C) where C : Collection, Self.Element == C.Element
                         ^
Swift.RangeReplaceableCollection:4:19: note: requirement 'replaceSubrange(_:with:)' declared here
    mutating func replaceSubrange<C>(_ subrange: Range<Self.Index>, with newElements: __owned C) where C : Collection, Self.Element == C.Element
                  ^
/Volumes/Media/Development/Swift/swift-source/build/Ninja-ReleaseAssert/swift-macosx-x86_64/lib/swift/macosx/_MatchingEngine.swiftmodule/x86_64-apple-macos.swiftinterface:1:1: error: failed to build module '_MatchingEngine' for importation due to the errors above; the textual interface may be broken by project issues or a compiler bug
// swift-interface-format-version: 1.0
^

The remaining error still claims that it's using the unavailable'd method. Not sure why it did not resolve to the local definition of replaceSubrange(_:with:).

[rxwei]

@_implements(RangeReplaceableCollection, replaceSubrange(_:with:)) doesn't work either:

Swift.RangeReplaceableCollection:4:19: Multiple matching functions named 'replaceSubrange(_:with:)' with type '<C> (Range<TypedIndex<C, 👻>.Index>, with: __owned C) -> ()' (aka '<C> (Range<TypedInt<👻>>, with: __owned C) -> ()')
TypedIndex.swift:84:24: Candidate exactly matches [with SubSequence = TypedIndex<C, 👻>.SubSequence]
TypedIndex.swift:84:24: Candidate exactly matches [with SubSequence = TypedIndex<C, 👻>.SubSequence]
TypedIndex.swift:84:24: Candidate exactly matches [with SubSequence = TypedIndex<C, 👻>.SubSequence]
TypedIndex.swift:84:24: Candidate exactly matches [with SubSequence = TypedIndex<C, 👻>.SubSequence]
Swift.RangeReplaceableCollection:2:37: Candidate exactly matches [with SubSequence = TypedIndex<C, 👻>.SubSequence]

[milseman]

We can drop the attributes. They were for when Util was a separate module, and currently only benefit prototypes. Prototypes can issue function calls. I can look into removing RRC, because it mostly just needs append IIRC

[milseman]

@rxwei is there anything left to track here, or should we close this?