struct S2 {
    let v: Int
}

struct S3: P {
    typealias A = S2
}