source: tests/collections/.expect/vector-err-pass-perm-it-byval.txt@ d40555e

ADT ast-experimental
Last change on this file since d40555e was 33b7d49, checked in by Andrew Beach <ajbeach@…>, 4 years ago

Added another check to checkInvariants for code locations. I also went through and made sure you can put it every after every new AST pass not followed by a forceFillCodeLocations.
  • Property mode set to 100644
File size: 8.3 KB
Line 
1collections/vector-demo.cfa:95:1 error: Unique best alternative includes deleted identifier in Generated Cast of:
2 Application of
3 Deleted Expression
4 Variable Expression: ?{}: static inline forall
5 instance of type T (not function type)
6 with assertions
7 Variable Expression: ?=?: pointer to function
8 ... with parameters
9 reference to instance of type T (not function type)
10 instance of type T (not function type)
11 ... returning
12 instance of type T (not function type)
13
14 ... with resolved type:
15 pointer to function
16 ... with parameters
17 reference to instance of type T (not function type)
18 instance of type T (not function type)
19 ... returning
20 instance of type T (not function type)
21
22 Variable Expression: ?{}: pointer to function
23 ... with parameters
24 reference to instance of type T (not function type)
25 ... returning nothing
26
27 ... with resolved type:
28 pointer to function
29 ... with parameters
30 reference to instance of type T (not function type)
31 ... returning nothing
32
33 Variable Expression: ?{}: pointer to function
34 ... with parameters
35 reference to instance of type T (not function type)
36 instance of type T (not function type)
37 ... returning nothing
38
39 ... with resolved type:
40 pointer to function
41 ... with parameters
42 reference to instance of type T (not function type)
43 instance of type T (not function type)
44 ... returning nothing
45
46 Variable Expression: ^?{}: pointer to function
47 ... with parameters
48 reference to instance of type T (not function type)
49 ... returning nothing
50
51 ... with resolved type:
52 pointer to function
53 ... with parameters
54 reference to instance of type T (not function type)
55 ... returning nothing
56
57 function
58 ... with parameters
59 reference to instance of struct vector_permit with body
60 ... with parameters
61 instance of type T (not function type)
62
63 reference to instance of struct vector_permit with body
64 ... with parameters
65 instance of type T (not function type)
66
67 ... returning nothing
68
69 ... with resolved type:
70 forall
71 instance of type T (not function type)
72 with assertions
73 Variable Expression: ?=?: pointer to function
74 ... with parameters
75 reference to instance of type T (not function type)
76 instance of type T (not function type)
77 ... returning
78 instance of type T (not function type)
79
80 ... with resolved type:
81 pointer to function
82 ... with parameters
83 reference to instance of type T (not function type)
84 instance of type T (not function type)
85 ... returning
86 instance of type T (not function type)
87
88 Variable Expression: ?{}: pointer to function
89 ... with parameters
90 reference to instance of type T (not function type)
91 ... returning nothing
92
93 ... with resolved type:
94 pointer to function
95 ... with parameters
96 reference to instance of type T (not function type)
97 ... returning nothing
98
99 Variable Expression: ?{}: pointer to function
100 ... with parameters
101 reference to instance of type T (not function type)
102 instance of type T (not function type)
103 ... returning nothing
104
105 ... with resolved type:
106 pointer to function
107 ... with parameters
108 reference to instance of type T (not function type)
109 instance of type T (not function type)
110 ... returning nothing
111
112 Variable Expression: ^?{}: pointer to function
113 ... with parameters
114 reference to instance of type T (not function type)
115 ... returning nothing
116
117 ... with resolved type:
118 pointer to function
119 ... with parameters
120 reference to instance of type T (not function type)
121 ... returning nothing
122
123 function
124 ... with parameters
125 reference to instance of struct vector_permit with body
126 ... with parameters
127 instance of type T (not function type)
128
129 reference to instance of struct vector_permit with body
130 ... with parameters
131 instance of type T (not function type)
132
133 ... returning nothing
134
135 ... deleted by: ?{}: static inline forall
136 instance of type T (not function type)
137 with assertions
138 Variable Expression: ?=?: pointer to function
139 ... with parameters
140 reference to instance of type T (not function type)
141 instance of type T (not function type)
142 ... returning
143 instance of type T (not function type)
144
145 ... with resolved type:
146 pointer to function
147 ... with parameters
148 reference to instance of type T (not function type)
149 instance of type T (not function type)
150 ... returning
151 instance of type T (not function type)
152
153 Variable Expression: ?{}: pointer to function
154 ... with parameters
155 reference to instance of type T (not function type)
156 ... returning nothing
157
158 ... with resolved type:
159 pointer to function
160 ... with parameters
161 reference to instance of type T (not function type)
162 ... returning nothing
163
164 Variable Expression: ?{}: pointer to function
165 ... with parameters
166 reference to instance of type T (not function type)
167 instance of type T (not function type)
168 ... returning nothing
169
170 ... with resolved type:
171 pointer to function
172 ... with parameters
173 reference to instance of type T (not function type)
174 instance of type T (not function type)
175 ... returning nothing
176
177 Variable Expression: ^?{}: pointer to function
178 ... with parameters
179 reference to instance of type T (not function type)
180 ... returning nothing
181
182 ... with resolved type:
183 pointer to function
184 ... with parameters
185 reference to instance of type T (not function type)
186 ... returning nothing
187
188 function
189 ... with parameters
190 reference to instance of struct vector_permit with body
191 ... with parameters
192 instance of type T (not function type)
193
194 reference to instance of struct vector_permit with body
195 ... with parameters
196 instance of type T (not function type)
197
198 ... returning nothing
199
200 ... to arguments
201 Generated Cast of:
202 Variable Expression: __tmp: instance of struct vector_permit with body
203 ... with parameters
204 float
205
206 ... with resolved type:
207 instance of struct vector_permit with body
208 ... with parameters
209 float
210
211 ... to:
212 reference to instance of struct vector_permit with body
213 ... with parameters
214 float
215
216 ... with resolved type:
217 reference to instance of struct vector_permit with body
218 ... with parameters
219 float
220
221 Generated Cast of:
222 Variable Expression: it: instance of struct vector_permit with body
223 ... with parameters
224 float
225
226 ... with resolved type:
227 instance of struct vector_permit with body
228 ... with parameters
229 float
230
231 ... to:
232 reference to instance of struct vector_permit with body
233 ... with parameters
234 float
235
236 ... with resolved type:
237 reference to instance of struct vector_permit with body
238 ... with parameters
239 float
240
241 with inferred parameters 0:
242 ?=?: function
243 ... with parameters
244 reference to float
245 float
246 ... returning
247 float
248
249 ?{}: function
250 ... with parameters
251 reference to float
252 ... returning nothing
253
254 ?{}: function
255 ... with parameters
256 reference to float
257 float
258 ... returning nothing
259
260 ^?{}: function
261 ... with parameters
262 reference to float
263 ... returning nothing
264
265
266 ... with resolved type:
267 void
268... to: nothing
269... with resolved type:
270 void
Note: See TracBrowser for help on using the repository browser.