averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

[TypeChecker] NFC: Add one more test-case for SR-11743

Browse Source
This commit is contained in:
Pavel Yaskevich
2020-02-25 08:54:55 -08:00
parent 2cdd78501c
commit 7d4db41180
1 changed files with 14 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
test/Constraints/keypath_dynamic_member_lookup.swift
View File

@@ -484,15 +484,27 @@ func testDynamicMemberWithDefault(_ x: SR_11933) {
_ = \SR_11933.[]
}
// SR-11743 - KeyPath Dynamic Member Lookup crash
@dynamicMemberLookup
protocol SR_11743 {
protocol SR_11743_P {
subscript(dynamicMember member: KeyPath<Self, Any>) -> Any { get }
}
extension SR_11743 {
extension SR_11743_P {
subscript(dynamicMember member: KeyPath<Self, Any>) -> Any {
self[keyPath: member] // Ok
// CHECK: function_ref @swift_getAtKeyPath
// CHECK-NEXT: apply %{{.*}}<Self, Any>({{.*}})
}
}
@dynamicMemberLookup
struct SR_11743_Struct {
let value: Int
subscript<T>(dynamicMember member: KeyPath<Self, T>) -> T {
return self[keyPath: member]
// CHECK: function_ref @swift_getAtKeyPath
// CHECK-NEXT: apply %{{.*}}<SR_11743_Struct, T>({{.*}})
}
}