mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
17 lines
539 B
Swift
17 lines
539 B
Swift
// RUN: not %target-swift-frontend %s -typecheck
|
|
|
|
// Bug with associated type inference. Really, this should type check
|
|
// with 'SomeAssociatedType' inferred as 'Any', but for now, it's good
|
|
// enough to not crash.
|
|
|
|
protocol SomeProtocol {
|
|
associatedtype SomeAssociatedType = Any
|
|
static func staticFunc(_ arg: SomeAssociatedType)
|
|
func memberFunc(_ arg: SomeAssociatedType)
|
|
}
|
|
|
|
class SomeClass: SomeProtocol {
|
|
func memberFunc(_ arg: SomeClass.SomeAssociatedType) {}
|
|
static func staticFunc(_ arg: SomeClass.SomeAssociatedType) {}
|
|
}
|