struct Bar {}
struct Foo { let bar: Bar }
let fooBar: PartialKeyPath<Foo> = \.bar

struct MyType {
    let prop1: String
    let prop2: Int
    let prop3: Bool
}

func test(_ keyPath: PartialKeyPath<MyType>) {
    switch keyPath {
    case \MyType.prop1:
        print("prop1")
    case \MyType.prop2:
        print("prop2")
    case \MyType.prop3:
        print("prop3")
    case \.prop3: // Compile error: Type of expression is ambiguous without more context
        print("prop3b")
    default:
        break
    }
}

test(\MyType.prop1)