// RUN: %target-swift-frontend -typecheck -primary-file %s %S/Inputs/sr9644-helper.swift -import-objc-header %S/Inputs/sr9644.h -verify | |
// REQUIRES: objc_interop | |
// expected-no-warning | |
protocol HasAssoc { | |
associatedtype Assoc: TestProto | |
} | |
struct Impl: HasAssoc { | |
// This used to trigger validation of the Test: TestProto conformance, but | |
// /without/ propagating the correct selector onto Test.swiftFoo's getter. | |
typealias Assoc = Test | |
} |