index
:
moon/zygotec
main
work/b213
work/bench
work/defer
work/prover
work/uninit-locals
work-in-progress programming language.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
errors
Mode
Name
Size
-rw-r--r--
alias_after_replace_move.zc
254
log
plain
blame
-rw-r--r--
alias_field.zc
225
log
plain
blame
-rw-r--r--
alias_index.zc
206
log
plain
blame
-rw-r--r--
alias_plus.zc
152
log
plain
blame
-rw-r--r--
alias_scope.zc
138
log
plain
blame
-rw-r--r--
array_literal_derived_return.zc
144
log
plain
blame
-rw-r--r--
array_literal_global.zc
139
log
plain
blame
-rw-r--r--
array_literal_retained.zc
163
log
plain
blame
-rw-r--r--
array_literal_return.zc
140
log
plain
blame
-rw-r--r--
back_to_m.zc
117
log
plain
blame
-rw-r--r--
borrow_local_return.zc
180
log
plain
blame
-rw-r--r--
borrow_projection_consume.zc
171
log
plain
blame
-rw-r--r--
borrow_resize.zc
201
log
plain
blame
-rw-r--r--
branch_mismatch.zc
190
log
plain
blame
-rw-r--r--
child_dies.zc
180
log
plain
blame
-rw-r--r--
child_recast.zc
164
log
plain
blame
-rw-r--r--
copy_owned.zc
134
log
plain
blame
-rw-r--r--
d_into_block.zc
132
log
plain
blame
-rw-r--r--
d_kept.zc
126
log
plain
blame
-rw-r--r--
defer_freed_twice.zc
147
log
plain
blame
-rw-r--r--
defer_moved.zc
189
log
plain
blame
-rw-r--r--
defer_moved_early.zc
216
log
plain
blame
-rw-r--r--
did_you_mean.zc
104
log
plain
blame
-rw-r--r--
discard_u.zc
158
log
plain
blame
-rw-r--r--
found_token.zc
86
log
plain
blame
-rw-r--r--
global_borrowed.zc
183
log
plain
blame
-rw-r--r--
global_child.zc
204
log
plain
blame
-rw-r--r--
global_then_use.zc
127
log
plain
blame
-rw-r--r--
leak_overwrite.zc
252
log
plain
blame
-rw-r--r--
lend_branch.zc
220
log
plain
blame
-rw-r--r--
lend_d.zc
197
log
plain
blame
-rw-r--r--
lend_give.zc
212
log
plain
blame
-rw-r--r--
lend_return.zc
226
log
plain
blame
-rw-r--r--
lend_unrestored.zc
206
log
plain
blame
-rw-r--r--
loop_move.zc
217
log
plain
blame
-rw-r--r--
old_alias_after_replace.zc
249
log
plain
blame
-rw-r--r--
plain_return.zc
160
log
plain
blame
-rw-r--r--
reassign_from_own_child.zc
221
log
plain
blame
-rw-r--r--
recast_plain.zc
165
log
plain
blame
-rw-r--r--
return_m.zc
181
log
plain
blame
-rw-r--r--
static_const_typo.zc
164
log
plain
blame
-rw-r--r--
static_typo.zc
189
log
plain
blame
-rw-r--r--
tag_mismatch.zc
149
log
plain
blame
-rw-r--r--
temporary_alias_escape.zc
231
log
plain
blame
-rw-r--r--
temporary_alias_retained.zc
260
log
plain
blame
-rw-r--r--
temporary_alias_return.zc
259
log
plain
blame
-rw-r--r--
temporary_retained.zc
237
log
plain
blame
-rw-r--r--
temporary_unknown.zc
215
log
plain
blame
-rw-r--r--
u_dropped.zc
117
log
plain
blame
-rw-r--r--
u_skip_level.zc
176
log
plain
blame
-rw-r--r--
unchecked_touch.zc
168
log
plain
blame
-rw-r--r--
unused.zc
108
log
plain
blame
-rw-r--r--
use_after_free_borrow.zc
222
log
plain
blame
-rw-r--r--
use_after_free_owner.zc
172
log
plain
blame
-rw-r--r--
use_after_give.zc
155
log
plain
blame
-rw-r--r--
use_after_global.zc
208
log
plain
blame
-rw-r--r--
use_after_inferred_give.zc
220
log
plain
blame
-rw-r--r--
use_after_move.zc
214
log
plain
blame
-rw-r--r--
use_after_push.zc
225
log
plain
blame
-rw-r--r--
use_after_reassign.zc
230
log
plain
blame
-rw-r--r--
use_after_replace_move.zc
227
log
plain
blame