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

Last change on this file since ad47ec4 was 33b7d49, checked in by Andrew Beach <ajbeach@…>, 3 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
RevLine 
[33b7d49]1collections/vector-demo.cfa:95:1 error: Unique best alternative includes deleted identifier in Generated Cast of:
[44856ed]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.