mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
99f63410cf
Look through attributed/specifier/paren TypeReprs, avoid reporting `RelBase` relations for suppressed conformances, and handle protocol compositions for the `Type` code path. rdar://146331982
44 lines
1.9 KiB
Swift
44 lines
1.9 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: split-file --leading-lines %s %t
|
|
|
|
// RUN: %target-swift-frontend -emit-module -o %t/Lib.swiftmodule %t/Lib.swift -module-name Lib
|
|
// RUN: %target-swift-ide-test -print-indexed-symbols -source-filename %t/main.swift -module-to-print Lib -I %t | %FileCheck %s --check-prefix LIB
|
|
// RUN: %target-swift-ide-test -print-indexed-symbols -source-filename %t/main.swift -I %t | %FileCheck %s
|
|
|
|
//--- Lib.swift
|
|
|
|
public protocol P {}
|
|
public protocol Q {}
|
|
public protocol R {}
|
|
|
|
public typealias X = Q & R
|
|
|
|
public struct S: X & P {}
|
|
// LIB: 0:0 | protocol/Swift | Q | s:3Lib1QP | Ref,RelBase | rel: 1
|
|
// LIB-NEXT: RelBase | struct/Swift | S | s:3Lib1SV
|
|
// LIB-NEXT: 0:0 | protocol/Swift | R | s:3Lib1RP | Ref,RelBase | rel: 1
|
|
// LIB-NEXT: RelBase | struct/Swift | S | s:3Lib1SV
|
|
// LIB-NEXT: 0:0 | protocol/Swift | P | s:3Lib1PP | Ref,RelBase | rel: 1
|
|
// LIB-NEXT: RelBase | struct/Swift | S | s:3Lib1SV
|
|
|
|
public protocol NonCopyableProto: ~Copyable {}
|
|
public struct NonCopyable: NonCopyableProto & ~Copyable {}
|
|
// LIB: 0:0 | protocol/Swift | NonCopyableProto | s:3Lib16NonCopyableProtoP | Ref,RelBase | rel: 1
|
|
// LIB-NEXT: RelBase | struct/Swift | NonCopyable | s:3Lib11NonCopyableV
|
|
|
|
// We don't currently have a relation for Copyable.
|
|
// LIB-NOT: s:s8CopyableP
|
|
|
|
//--- main.swift
|
|
|
|
import Lib
|
|
|
|
struct K: P & X {}
|
|
// CHECK: [[@LINE-1]]:11 | protocol/Swift | P | s:3Lib1PP | Ref,RelBase | rel: 1
|
|
// CHECK-NEXT: RelBase | struct/Swift | K | s:14swift_ide_test1KV
|
|
// CHECK-NEXT: [[@LINE-3]]:15 | type-alias/Swift | X | s:3Lib1Xa | Ref | rel: 0
|
|
// CHECK-NEXT: [[@LINE-4]]:15 | protocol/Swift | Q | s:3Lib1QP | Ref,Impl,RelBase | rel: 1
|
|
// CHECK-NEXT: RelBase | struct/Swift | K | s:14swift_ide_test1KV
|
|
// CHECK-NEXT: [[@LINE-6]]:15 | protocol/Swift | R | s:3Lib1RP | Ref,Impl,RelBase | rel: 1
|
|
// CHECK-NEXT: RelBase | struct/Swift | K | s:14swift_ide_test1KV
|