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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
// RUN: %empty-directory(%t)
// RUN: split-file %s %t
// RUN: %target-swift-frontend \
// RUN: %t/Downstream.swift \
// RUN: -typecheck -verify \
// RUN: -enable-experimental-feature NonescapableTypes \
// RUN: -enable-builtin-module \
// RUN: -debug-diagnostic-names \
// RUN: -import-objc-header %t/Library.h
//--- Library.h
struct Tenple {
int i0;
int i1;
int i2;
int i3;
int i4;
int i5;
int i6;
int i7;
int i8;
int i9;
};
struct Ints128 {
int is[128];
};
struct VoidPointers {
void *p1;
void *p2;
void *p3;
void *p4;
void *p5;
void *p6;
void *p7;
void *p8;
void *p9;
void *p10;
};
struct IntsTrailing {
double d;
float f;
int is[];
};
struct IntsTrailing2 {
double d;
float f;
int is[];
};
struct IntsTrailing3 {
double d;
float f;
int is[];
} __attribute__((__swift_attr__("BitwiseCopyable")));
enum E {
foo,
bar
};
//--- Downstream.swift
func take<T : BitwiseCopyable>(_ t: T) {}
func passTenple(_ t: Tenple) { take(t) }
func passInts128(_ t: Ints128) {
take(t)
take(t.is.0)
take(t.is.17)
}
func passVoidPointers(_ t: VoidPointers) {
take(t)
take(t.p10)
}
func passIntsTrailing(_ t: IntsTrailing) {
take(t) // expected-error{{type_does_not_conform_decl_owner}}
// expected-note@-14{{where_requirement_failure_one_subst}}
}
extension IntsTrailing2 : BitwiseCopyable {} //expected-error{{bitwise_copyable_outside_module}}
func passIntsTrailing2(_ t: IntsTrailing2) {
take(t)
}
func passIntsTrailing3(_ t: IntsTrailing3) {
take(t)
}
func passE(_ e: E) {
take(e)
}
|
