advanced features / obligation stress
✓ 22 passing ✗ 3 failing
Lessons
1 ✓
Passing
002 if else discharges then drops
2 ✓
Passing 003 if then discharges else drops strict
3 ✓
Passing 004 loop body discharges outer
4 ✓
Passing 005 nested loop inner discharges outer
5 ✗
Failing 006 err branch leaks opened resource — frontend
6 ✗
Failing 007 chain second err leaks first resource — frontend
7 ✓
Passing 020 instance single discharger
8 ✓
Passing 021 instance no explicit free
9 ✓
Passing 022 disconnect before commit
10 ✓
Passing 023 disconnect before rollback
11 ✓
Passing 024 stale view after take
12 ✓
Passing 025 stale tx after commit
13 ✓
Passing 040 subflow drops obligation on input
14 ✓
Passing 042 read file no free
15 ✓
Passing 043 read stdin no free
16 ✓
Passing 044 taint stripped at untyped param
17 ✓
Passing 045 taint stripped at echo boundary
18 ✓
Passing 046 continuation after borrow auto discharges
19 ✗
Failing 047 taint original reused after sanitizer — must-error-passed
20 ✓
Passing 048 taint original printed beside sanitized
21 ✓
Passing 050 auto discharge lifo order
22 ✓
Passing 051 explicit then auto discharge
23 ✓
Passing 052 stale record field in interpolation
24 ✓
Passing 054 discharge a binding that never owed
25 ✓
Passing 055 bare state return aliases the borrow