mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
597c955948
As a minor step toward more global associated type inference, allow tentative type witnesses to be found across a protocol hierarchy, eliminating some recursion through associated type inference. Fixes a recent regression in validation-test/stdlib/CollectionTypes.swift, as well as rdar://problem/36453271.
14 lines
387 B
Swift
14 lines
387 B
Swift
// RUN: %target-swift-frontend %s -emit-ir -o 0
|
|
|
|
extension Slice where Base == UnsafeBufferPointer<UInt16> {
|
|
var rebased: UnsafeBufferPointer<UInt16> {
|
|
return UnsafeBufferPointer(rebasing: self)
|
|
}
|
|
}
|
|
|
|
extension Slice where Base == UnsafeMutableBufferPointer<UInt16> {
|
|
var rebased: UnsafeMutableBufferPointer<UInt16> {
|
|
return UnsafeMutableBufferPointer(rebasing: self)
|
|
}
|
|
}
|