// RUN: %target-swift-frontend -typecheck -verify %s | |
struct A { | |
typealias Value = Int | |
} | |
protocol B { | |
typealias Value = A.Value | |
typealias T = String | |
} | |
protocol NestedProtocol { | |
typealias _B = B | |
} | |
struct Something: NestedProtocol { | |
struct InnerTest: _B { | |
var value: Value = 42 | |
var t: T = "wait what?" | |
} | |
} | |
protocol X {} | |
protocol Y { | |
typealias _X = X | |
var x: _X { get } | |
} | |
struct Struct: Y { | |
var x: _X = __X() | |
} | |
extension Struct { | |
struct __X: _X {} | |
} |