mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
22 lines
631 B
Swift
22 lines
631 B
Swift
// RUN: %target-typecheck-verify-swift
|
|
// RUN: %target-swift-frontend -typecheck %s -debug-generic-signatures 2>&1 | %FileCheck %s
|
|
|
|
// https://github.com/apple/swift/issues/50772
|
|
|
|
struct Box<Representation, T> {
|
|
let value: Representation
|
|
}
|
|
enum Repr {}
|
|
extension Repr {
|
|
typealias RawEnum = ()
|
|
}
|
|
|
|
// CHECK-LABEL: ExtensionDecl line={{.*}} base=Box
|
|
// CHECK-NEXT: Generic signature: <Representation, T where Representation == Repr, T == ()>
|
|
extension Box where Representation == Repr, T == Representation.RawEnum {
|
|
init(rawEnumValue: Representation.RawEnum) {
|
|
let _: ().Type = T.self
|
|
fatalError()
|
|
}
|
|
}
|