stdlib / collections
✓ 29 passing ○ 3 planned
Lessons
1 ✓
Passing
001 list new flow
2 ○
Planned 002 list const module — OWED: module-scope `std/list[i64]` declaration with void push.
3 ✓
Passing 003 list len in expr
4 ✓
Passing 004 list new free
5 ✓
Passing 005 list push len
6 ✓
Passing 006 list auto discharge
7 ✓
Passing 007 list new transform
8 ✓
Passing 008 list pop
9 ✓
Passing 009 list pop empty
10 ✓
Passing 010 list get
11 ✓
Passing 011 list get oob
12 ✓
Passing 012 list for each index
13 ○
Planned 013 list loop autodischarge — OWED: auto-discharge frees a <list!> dropped after a for-loop (today it leaks).
14 ✓
Passing 014 list push in loop
15 ✓
Passing 015 list stream blocked
16 ✓
Passing 016 list stream accumulate
17 ✓
Passing 018 set dedup count
18 ✓
Passing 019 set under capture
19 ✓
Passing 020 set under capture loop
20 ✓
Passing 021 map trunk
21 ✓
Passing 022 map get missing
22 ✓
Passing 023 map under capture
23 ✓
Passing 024 string map trunk
24 ✓
Passing 025 string map under capture
25 ○
Planned 026 map generic dispatch gap — OWED: one `std/map` whose key/value types are chosen at construction, ops dispatch on the handle.
26 ✓
Passing 027 obligation param qualified phantom
27 ✓
Passing 028 proto derived container ops
28 ✓
Passing 029 duplicate proto refused
29 ✓
Passing 030 proto default door container ops
30 ✓
Passing 031 duplicate proto refused default door
31 ✓
Passing 032 cross flow handle routes
32 ✓
Passing 033 list map free stay on home