1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
// RUN: %empty-directory(%t)
// RUN: %{python} %utils/split_file.py -o %t %s
// RUN: %target-swift-frontend -module-name a -parse-as-library -emit-ir -g %t/Seq.swift %t/A.swift | %FileCheck %s
// This code used to trigger the verifier.
// https://github.com/apple/swift/issues/73338
// BEGIN Seq.swift
struct A<Element: Equatable>: ExpressibleByArrayLiteral, Equatable {
var base: Element?
init(arrayLiteral elements: Element...) {}
}
struct B<Element: Equatable>: ExpressibleByArrayLiteral, Equatable {
var first: Element?
init(arrayLiteral elements: Element...) {}
}
// BEGIN A.swift
enum E<T: P> {
case a(A<T.ID>)
case b(B<T.ID>)
case c
static func ==(lhs: Self, rhs: Self) -> Bool {
switch (lhs, rhs) {
case (.a([]), .c), (.c, .a([])),
(.b([]), .c), (.c, .b([])):
return true
default:
return false
}
}
}
public protocol P {
associatedtype ID: Equatable
}
// The [] expressions should be available in the debugger
// CHECK: !DILocalVariable(name: "$_0", {{.+}} line: 9
// CHECK: !DILocalVariable(name: "$_1", {{.+}} line: 9
// CHECK: !DILocalVariable(name: "$_2", {{.+}} line: 8
// CHECK: !DILocalVariable(name: "$_3", {{.+}} line: 8
|
