| protocol P1 {} | |
| struct S1 : P1 {} | |
| func test(_ o: P1?) { | |
| switch o { | |
| case let s as S1: | |
| test(s) | |
| } | |
| } | |
| // RUN: %sourcekitd-test -req=cursor -pos=7:17 %s -- %s | %FileCheck -check-prefix=CHECK1 %s | |
| // CHECK1: source.lang.swift.ref.struct (3:8-3:10) | |
| // CHECK1: S1 |