// RUN: %target-swift-ide-test -print-indexed-symbols -source-filename %s | %FileCheck %s | |
protocol P1 {} | |
// CHECK: [[@LINE+1]]:8 | struct/Swift | S1 | [[S1_USR:.*]] | Def | |
struct S1 : P1 {} | |
func test(_ o: P1?) { | |
switch o { | |
// CHECK-NOT: [[@LINE+2]]:17 | enumerator/Swift | some | | |
// CHECK: [[@LINE+1]]:17 | struct/Swift | S1 | [[S1_USR]] | Ref | |
case let s as S1: | |
test(s) | |
default: | |
test(o) | |
} | |
} |